Verifying the Verifier: eBPF Range Analysis Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte. Verifying the Verifier: eBPF Range Analysis Verification. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Volume 13966 of Lecture Notes in Computer Science, pages 226-251, Springer, 2023. [doi]

This author has not been identified. Look up 'Harishankar Vishwanathan' in GoogleThis author has not been identified. Look up 'Matan Shachnai' in GoogleThis author has not been identified. Look up 'Srinivas Narayana' in GoogleThis author has not been identified. Look up 'Santosh Nagarakatte' in Google

runs on WebDSL