Verifying the Verifier: eBPF Range Analysis Verification.

Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte

Browse the full CAV paper archive.