EasyChair Smart SlideDocs/Log in
Author: Gilles Grimaud

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

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: 1
Copyright © 2002 – 2024 EasyChair