End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT
| Title: | End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT |
|---|---|
| Authors: | Yuan, ShenghaoAff9, Aff11; Besson, FrédéricAff10; Talpin, Jean-PierreAff9 |
| Contributors: | Goos, Gerhard, Series EditorAff1; Hartmanis, Juris, Founding EditorAff2; Bertino, Elisa, Editorial Board MemberAff3; Gao, Wen, Editorial Board MemberAff4; Steffen, Bernhard, Editorial Board MemberAff5; Yung, Moti, Editorial Board MemberAff6; Gurfinkel, Arie, editorAff7; Ganesh, Vijay, editorAff8 |
| Source: | Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I. 14681:325-347 |
| Database: | Springer Nature eBooks |