@article{DBLP:journals/eceasst/JomaaTNGH18,
  author    = {Narjes Jomaa and
               Paolo Torrini and
               David Nowak and
               Gilles Grimaud and
               Samuel Hym},
  title     = {Proof-Oriented Design of a Separation Kernel with Minimal Trusted
               Computing Base},
  journal   = {{ECEASST}},
  volume    = {76},
  year      = {2018},
  url       = {https://doi.org/10.14279/tuj.eceasst.76.1080},
  doi       = {10.14279/tuj.eceasst.76.1080},
  timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/eceasst/JomaaTNGH18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"qj3pakfFpCpjzdFe2","bibbaseid":"jomaa-torrini-nowak-grimaud-hym-prooforienteddesignofaseparationkernelwithminimaltrustedcomputingbase-2018","authorIDs":["Q8nWoCgp6SjySyEux"],"author_short":["Jomaa, N.","Torrini, P.","Nowak, D.","Grimaud, G.","Hym, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Narjes"],"propositions":[],"lastnames":["Jomaa"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Torrini"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Nowak"],"suffixes":[]},{"firstnames":["Gilles"],"propositions":[],"lastnames":["Grimaud"],"suffixes":[]},{"firstnames":["Samuel"],"propositions":[],"lastnames":["Hym"],"suffixes":[]}],"title":"Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base","journal":"ECEASST","volume":"76","year":"2018","url":"https://doi.org/10.14279/tuj.eceasst.76.1080","doi":"10.14279/tuj.eceasst.76.1080","timestamp":"Fri, 14 Jun 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/eceasst/JomaaTNGH18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/eceasst/JomaaTNGH18,\n author = {Narjes Jomaa and\n Paolo Torrini and\n David Nowak and\n Gilles Grimaud and\n Samuel Hym},\n title = {Proof-Oriented Design of a Separation Kernel with Minimal Trusted\n Computing Base},\n journal = {{ECEASST}},\n volume = {76},\n year = {2018},\n url = {https://doi.org/10.14279/tuj.eceasst.76.1080},\n doi = {10.14279/tuj.eceasst.76.1080},\n timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/eceasst/JomaaTNGH18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Jomaa, N.","Torrini, P.","Nowak, D.","Grimaud, G.","Hym, S."],"key":"DBLP:journals/eceasst/JomaaTNGH18","id":"DBLP:journals/eceasst/JomaaTNGH18","bibbaseid":"jomaa-torrini-nowak-grimaud-hym-prooforienteddesignofaseparationkernelwithminimaltrustedcomputingbase-2018","role":"author","urls":{"Paper":"https://doi.org/10.14279/tuj.eceasst.76.1080"},"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":["proof","oriented","design","separation","kernel","minimal","trusted","computing","base","jomaa","torrini","nowak","grimaud","hym"],"title":"Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base","year":2018,"dataSources":["QsobDjoLrbY9ktAcA"]}