End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers.

Shenghao Yuan, Frdric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli

Browse the full CAV paper archive.