End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT.

Shenghao Yuan, Frdric Besson, Jean-Pierre Talpin

Browse the full CAV paper archive.