Login / Signup
Narjes Jomaa
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 4
Top Topics
Memory Usage
Formal Proof
Theorem Prover
Trusted Computing
Top Venues
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
VSTTE
TASE
Sci. Comput. Program.
</>
Publications
</>
Narjes Jomaa
,
Paolo Torrini
,
David Nowak
,
Gilles Grimaud
,
Samuel Hym
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
76 (2018)
Paolo Torrini
,
David Nowak
,
Narjes Jomaa
,
Mohamed Sami Cherif
Formalising Executable Specifications of Low-Level Systems.
VSTTE
(2018)
Narjes Jomaa
,
David Nowak
,
Gilles Grimaud
,
Samuel Hym
Formal proof of dynamic memory isolation based on MMU.
Sci. Comput. Program.
162 (2018)
Narjes Jomaa
,
David Nowak
,
Gilles Grimaud
,
Samuel Hym
Formal Proof of Dynamic Memory Isolation Based on MMU.
TASE
(2016)