@misc{FachiniHSELAPT17,
  author = {Guglielmo Fachini and
            C\u{a}t\u{a}lin Hri\c{t}cu and
            Marco Stronati and
            Ana Nora Evans and
            Th\'eo Laurent and
            Arthur {Azevedo de Amorim} and
            Benjamin C. Pierce and
            Andrew Tolmach},
  title = {Formally Secure Compilation of Unsafe Low-Level Components
           (Extended Abstract)},
  howpublished = {arXiv:1710.07308},
  url = {https://arxiv.org/abs/1710.07308},
  year = {2017},
  month = oct,
  chcontrib = {equalthree},
}

{"_id":"JeJ6yoLvDExMXrpWS","bibbaseid":"fachini-hricu-stronati-evans-laurent-azevedodeamorim-pierce-tolmach-formallysecurecompilationofunsafelowlevelcomponentsextendedabstract-2017","downloads":0,"creationDate":"2019-02-09T20:08:59.716Z","title":"Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract)","author_short":["Fachini, G.","Hriţcu, C.","Stronati, M.","Evans, A. N.","Laurent, T.","Azevedo de Amorim, A.","Pierce, B. C.","Tolmach, A."],"year":2017,"bibtype":"misc","biburl":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin.bib","bibdata":{"bibtype":"misc","type":"misc","author":[{"firstnames":["Guglielmo"],"propositions":[],"lastnames":["Fachini"],"suffixes":[]},{"firstnames":["Cătălin"],"propositions":[],"lastnames":["Hriţcu"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Stronati"],"suffixes":[]},{"firstnames":["Ana","Nora"],"propositions":[],"lastnames":["Evans"],"suffixes":[]},{"firstnames":["Théo"],"propositions":[],"lastnames":["Laurent"],"suffixes":[]},{"firstnames":["Arthur"],"propositions":[],"lastnames":["Azevedo de Amorim"],"suffixes":[]},{"firstnames":["Benjamin","C."],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["Andrew"],"propositions":[],"lastnames":["Tolmach"],"suffixes":[]}],"title":"Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract)","howpublished":"arXiv:1710.07308","url":"https://arxiv.org/abs/1710.07308","year":"2017","month":"October","chcontrib":"equalthree","bibtex":"@misc{FachiniHSELAPT17,\n author = {Guglielmo Fachini and\n C\\u{a}t\\u{a}lin Hri\\c{t}cu and\n Marco Stronati and\n Ana Nora Evans and\n Th\\'eo Laurent and\n Arthur {Azevedo de Amorim} and\n Benjamin C. Pierce and\n Andrew Tolmach},\n title = {Formally Secure Compilation of Unsafe Low-Level Components\n (Extended Abstract)},\n howpublished = {arXiv:1710.07308},\n url = {https://arxiv.org/abs/1710.07308},\n year = {2017},\n month = oct,\n chcontrib = {equalthree},\n}\n\n","author_short":["Fachini, G.","Hriţcu, C.","Stronati, M.","Evans, A. N.","Laurent, T.","Azevedo de Amorim, A.","Pierce, B. C.","Tolmach, A."],"key":"FachiniHSELAPT17","id":"FachiniHSELAPT17","bibbaseid":"fachini-hricu-stronati-evans-laurent-azevedodeamorim-pierce-tolmach-formallysecurecompilationofunsafelowlevelcomponentsextendedabstract-2017","role":"author","urls":{"Paper":"https://arxiv.org/abs/1710.07308"},"downloads":0,"html":""},"search_terms":["formally","secure","compilation","unsafe","low","level","components","extended","abstract","fachini","hriţcu","stronati","evans","laurent","azevedo de amorim","pierce","tolmach"],"keywords":[],"authorIDs":[],"dataSources":["hAMnRsgiC28iyFDSa"]}