@misc{AbateBGHPT18,
  author = {Carmine Abate and
            Roberto Blanco and
            Deepak Garg and
            C\u{a}t\u{a}lin Hri\c{t}cu and
            Marco Patrignani and
            J\'er\'emy Thibault},
  title = {Journey Beyond Full Abstraction:
           Exploring Robust Property Preservation for Secure Compilation},
  howpublished = {arXiv:1807.04603},
  url = {https://arxiv.org/abs/1807.04603},
  month = jul,
  year = 2018,
  chcontrib = {equaltwo},
}

{"_id":"pSoWHc4n7GMPud7mj","bibbaseid":"abate-blanco-garg-hricu-patrignani-thibault-journeybeyondfullabstractionexploringrobustpropertypreservationforsecurecompilation-2018","downloads":0,"creationDate":"2019-02-09T20:08:59.645Z","title":"Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation","author_short":["Abate, C.","Blanco, R.","Garg, D.","Hriţcu, C.","Patrignani, M.","Thibault, J."],"year":2018,"bibtype":"misc","biburl":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin.bib","bibdata":{"bibtype":"misc","type":"misc","author":[{"firstnames":["Carmine"],"propositions":[],"lastnames":["Abate"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Blanco"],"suffixes":[]},{"firstnames":["Deepak"],"propositions":[],"lastnames":["Garg"],"suffixes":[]},{"firstnames":["Cătălin"],"propositions":[],"lastnames":["Hriţcu"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Patrignani"],"suffixes":[]},{"firstnames":["Jérémy"],"propositions":[],"lastnames":["Thibault"],"suffixes":[]}],"title":"Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation","howpublished":"arXiv:1807.04603","url":"https://arxiv.org/abs/1807.04603","month":"July","year":"2018","chcontrib":"equaltwo","bibtex":"@misc{AbateBGHPT18,\n author = {Carmine Abate and\n Roberto Blanco and\n Deepak Garg and\n C\\u{a}t\\u{a}lin Hri\\c{t}cu and\n Marco Patrignani and\n J\\'er\\'emy Thibault},\n title = {Journey Beyond Full Abstraction:\n Exploring Robust Property Preservation for Secure Compilation},\n howpublished = {arXiv:1807.04603},\n url = {https://arxiv.org/abs/1807.04603},\n month = jul,\n year = 2018,\n chcontrib = {equaltwo},\n}\n\n","author_short":["Abate, C.","Blanco, R.","Garg, D.","Hriţcu, C.","Patrignani, M.","Thibault, J."],"key":"AbateBGHPT18","id":"AbateBGHPT18","bibbaseid":"abate-blanco-garg-hricu-patrignani-thibault-journeybeyondfullabstractionexploringrobustpropertypreservationforsecurecompilation-2018","role":"author","urls":{"Paper":"https://arxiv.org/abs/1807.04603"},"downloads":0,"html":""},"search_terms":["journey","beyond","full","abstraction","exploring","robust","property","preservation","secure","compilation","abate","blanco","garg","hriţcu","patrignani","thibault"],"keywords":[],"authorIDs":["5c5f335b4510a11000000192"],"dataSources":["hAMnRsgiC28iyFDSa"]}