Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel.

Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte

Browse the full SAS paper archive.