Yang Chen, Xinfeng Shu. Formal verification of eBPF program security based on PTL. In 6th International Conference on Artificial Intelligence and Pattern Recognition, AIPR 2023, Xiamen, China, September 22-24, 2023. pages 1225-1230, ACM, 2023. [doi]
Abstract is missing.