%0 Conference Paper %1 conf/eurosys/SunXLSGJ24 %A Sun, Hao %A Xu, Yiru %A Liu, Jianzhong %A Shen, Yuheng %A Guan, Nan %A Jiang, Yu %B EuroSys %D 2024 %I ACM %K dblp %P 689-703 %T Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program. %U http://dblp.uni-trier.de/db/conf/eurosys/eurosys2024.html#SunXLSGJ24

@inproceedings{conf/eurosys/SunXLSGJ24, added-at = {2024-05-15T00:00:00.000+0200}, author = {Sun, Hao and Xu, Yiru and Liu, Jianzhong and Shen, Yuheng and Guan, Nan and Jiang, Yu}, biburl = {https://www.bibsonomy.org/bibtex/22104b9ab1a18d6448054faa6a20047d7/dblp}, booktitle = {EuroSys}, crossref = {conf/eurosys/2024}, ee = {https://doi.org/10.1145/3627703.3629562}, interhash = {ae3372fa3b494352206bd749421f35e8}, intrahash = {2104b9ab1a18d6448054faa6a20047d7}, keywords = {dblp}, pages = {689-703}, publisher = {ACM}, timestamp = {2024-05-20T07:18:51.000+0200}, title = {Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program.}, url = {http://dblp.uni-trier.de/db/conf/eurosys/eurosys2024.html#SunXLSGJ24}, year = 2024 }