VEP: A Two-stage Verification Toolchain for Full eBPF Programmability.

Xiwei Wu, Yueyang Feng, Tianyi Huang, Xiaoyang Lu, Shengkai Lin, Lihan Xie, Shizhen Zhao, Qinxiang Cao

Browse the full NSDI paper archive.