eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle.

Tao Lyu, Kumar Kartikeya Dwivedi, Thomas Bourgeat, Mathias Payer, Meng Xu, Sanidhya Kashyap

Browse the full SOSP paper archive.