Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym. Formal proof of dynamic memory isolation based on MMU. Science of Computer Programming, 162:76-92, 2018. [doi]
@article{JomaaNGH18,
title = {Formal proof of dynamic memory isolation based on MMU},
author = {Narjes Jomaa and David Nowak and Gilles Grimaud and Samuel Hym},
year = {2018},
doi = {10.1016/j.scico.2017.06.012},
url = {https://doi.org/10.1016/j.scico.2017.06.012},
researchr = {https://researchr.org/publication/JomaaNGH18},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {162},
pages = {76-92},
}