%0 Conference Paper %1 conf/cav/VishwanathanSNN23 %A Vishwanathan, Harishankar %A Shachnai, Matan %A Narayana, Srinivas %A Nagarakatte, Santosh %B CAV (3) %D 2023 %E Enea, Constantin %E Lal, Akash %I Springer %K dblp %P 226-251 %T Verifying the Verifier: eBPF Range Analysis Verification. %U http://dblp.uni-trier.de/db/conf/cav/cav2023-3.html#VishwanathanSNN23 %V 13966 %@ 978-3-031-37709-9

@inproceedings{conf/cav/VishwanathanSNN23, added-at = {2023-09-12T00:00:00.000+0200}, author = {Vishwanathan, Harishankar and Shachnai, Matan and Narayana, Srinivas and Nagarakatte, Santosh}, biburl = {https://www.bibsonomy.org/bibtex/23ea193d65b88eea7ee4825c32695f849/dblp}, booktitle = {CAV (3)}, crossref = {conf/cav/2023-3}, editor = {Enea, Constantin and Lal, Akash}, ee = {https://doi.org/10.1007/978-3-031-37709-9_12}, interhash = {f2bd6c4fd7ee1ce8fbfc3885ddccd9b4}, intrahash = {3ea193d65b88eea7ee4825c32695f849}, isbn = {978-3-031-37709-9}, keywords = {dblp}, pages = {226-251}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:38.000+0200}, title = {Verifying the Verifier: eBPF Range Analysis Verification.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2023-3.html#VishwanathanSNN23}, volume = 13966, year = 2023 }