@misc{GargHPSS17,
  author = {Deepak Garg and
            C\u{a}t\u{a}lin Hri\c{t}cu and
            Marco Patrignani and
            Marco Stronati and
            David Swasey},
  title = {Robust Hyperproperty Preservation for Secure Compilation
           (Extended Abstract)},
  howpublished = {arXiv:1710.07309},
  url = {https://arxiv.org/abs/1710.07309},
  year = {2017},
  month = oct,
  chcontrib = {equaltwo},
}

{"_id":"xaKRqd7WfgfYHn7NY","bibbaseid":"garg-hricu-patrignani-stronati-swasey-robusthyperpropertypreservationforsecurecompilationextendedabstract-2017","downloads":0,"creationDate":"2019-02-09T20:08:59.718Z","title":"Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)","author_short":["Garg, D.","Hriţcu, C.","Patrignani, M.","Stronati, M.","Swasey, D."],"year":2017,"bibtype":"misc","biburl":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin.bib","bibdata":{"bibtype":"misc","type":"misc","author":[{"firstnames":["Deepak"],"propositions":[],"lastnames":["Garg"],"suffixes":[]},{"firstnames":["Cătălin"],"propositions":[],"lastnames":["Hriţcu"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Patrignani"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Stronati"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Swasey"],"suffixes":[]}],"title":"Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)","howpublished":"arXiv:1710.07309","url":"https://arxiv.org/abs/1710.07309","year":"2017","month":"October","chcontrib":"equaltwo","bibtex":"@misc{GargHPSS17,\n author = {Deepak Garg and\n C\\u{a}t\\u{a}lin Hri\\c{t}cu and\n Marco Patrignani and\n Marco Stronati and\n David Swasey},\n title = {Robust Hyperproperty Preservation for Secure Compilation\n (Extended Abstract)},\n howpublished = {arXiv:1710.07309},\n url = {https://arxiv.org/abs/1710.07309},\n year = {2017},\n month = oct,\n chcontrib = {equaltwo},\n}\n\n","author_short":["Garg, D.","Hriţcu, C.","Patrignani, M.","Stronati, M.","Swasey, D."],"key":"GargHPSS17","id":"GargHPSS17","bibbaseid":"garg-hricu-patrignani-stronati-swasey-robusthyperpropertypreservationforsecurecompilationextendedabstract-2017","role":"author","urls":{"Paper":"https://arxiv.org/abs/1710.07309"},"downloads":0,"html":""},"search_terms":["robust","hyperproperty","preservation","secure","compilation","extended","abstract","garg","hriţcu","patrignani","stronati","swasey"],"keywords":[],"authorIDs":["5c5f335b4510a11000000192"],"dataSources":["hAMnRsgiC28iyFDSa"]}