EasyChair Smart SlideDocs/Log in
Author: Samuel Hym

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

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base

Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud and Samuel Hym

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