EasyChair Smart SlideDocs/Log in
Author: Shenghao Yuan

This page shows all presentations of this author published in EasyChair Smart Slide.

End-to-End Mechanised Proof of an eBPF Virtual Machine for Microcontrollers

End-to-End Mechanised Proof of an eBPF Virtual Machine for Microcontrollers

Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg and Emmanuel Baccelli

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair