EasyChair Smart SlideDocs/Log in
Author: Narjes Jomaa

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

Formalising Executable Specifications of Low-Level Systems

Formalising Executable Specifications of Low-Level Systems

Paolo Torrini, David Nowak, Narjes Jomaa and Mohamed Sami Cherif

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