Formal Proof of Dynamic Memory Isolation Based on MMU.

Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym

Browse the full TASE paper archive.