End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers
Authors: Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg and Emmanuel Baccelli
Paper Information
| Title: | End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers |
| Authors: | Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg and Emmanuel Baccelli |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | proof methodology, virtual machines, fault isolation |
| Pages: | 23 |
| Talk: | Aug 09 15:20 (Session 104A: Deductive Verification and Decision Procedures) |
| Paper: |  |