Hao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, Yu Jiang. Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program. In Proceedings of the Nineteenth European Conference on Computer Systems, EuroSys 2024, Athens, Greece, April 22-25, 2024. pages 689-703, ACM, 2024. [doi]
Abstract is missing.