{"_id":"WSwP5TxGZyhz68EJB","bibbaseid":"jomaa-nowak-grimaud-hym-formalproofofdynamicmemoryisolationbasedonmmu-2018","authorIDs":["Q8nWoCgp6SjySyEux"],"author_short":["Jomaa, N.","Nowak, D.","Grimaud, G.","Hym, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Narjes"],"propositions":[],"lastnames":["Jomaa"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Nowak"],"suffixes":[]},{"firstnames":["Gilles"],"propositions":[],"lastnames":["Grimaud"],"suffixes":[]},{"firstnames":["Samuel"],"propositions":[],"lastnames":["Hym"],"suffixes":[]}],"title":"Formal proof of dynamic memory isolation based on MMU","journal":"Sci. Comput. Program.","volume":"162","pages":"76–92","year":"2018","url":"https://doi.org/10.1016/j.scico.2017.06.012","doi":"10.1016/j.scico.2017.06.012","timestamp":"Fri, 15 Jun 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/scp/JomaaNGH18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/scp/JomaaNGH18,\n author = {Narjes Jomaa and\n David Nowak and\n Gilles Grimaud and\n Samuel Hym},\n title = {Formal proof of dynamic memory isolation based on {MMU}},\n journal = {Sci. Comput. Program.},\n volume = {162},\n pages = {76--92},\n year = {2018},\n url = {https://doi.org/10.1016/j.scico.2017.06.012},\n doi = {10.1016/j.scico.2017.06.012},\n timestamp = {Fri, 15 Jun 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/scp/JomaaNGH18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Jomaa, N.","Nowak, D.","Grimaud, G.","Hym, S."],"key":"DBLP:journals/scp/JomaaNGH18","id":"DBLP:journals/scp/JomaaNGH18","bibbaseid":"jomaa-nowak-grimaud-hym-formalproofofdynamicmemoryisolationbasedonmmu-2018","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.scico.2017.06.012"},"downloads":0,"html":""},"bibtype":"article","biburl":"https://dblp.org/pid/n/DavidNowak.bib","creationDate":"2020-06-02T14:36:01.583Z","downloads":0,"keywords":[],"search_terms":["formal","proof","dynamic","memory","isolation","based","mmu","jomaa","nowak","grimaud","hym"],"title":"Formal proof of dynamic memory isolation based on MMU","year":2018,"dataSources":["QsobDjoLrbY9ktAcA"]}