{"_id":"KerEN4hoyH2RNzk8p","bibbaseid":"juglaret-hricu-azevedodeamorim-pierce-spectorzabusky-tolmach-towardsafullyabstractcompilerusingmicropoliciessecurecompilationformutuallydistrustfulcomponents-2015","downloads":0,"creationDate":"2019-02-09T20:08:59.730Z","title":"Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components","author_short":["Juglaret, Y.","Hriţcu, C.","Azevedo de Amorim, A.","Pierce, B. C.","Spector-Zabusky, A.","Tolmach, A."],"year":2015,"bibtype":"misc","biburl":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin.bib","bibdata":{"bibtype":"misc","type":"misc","author":[{"firstnames":["Yannis"],"propositions":[],"lastnames":["Juglaret"],"suffixes":[]},{"firstnames":["Cătălin"],"propositions":[],"lastnames":["Hriţcu"],"suffixes":[]},{"firstnames":["Arthur"],"propositions":[],"lastnames":["Azevedo de Amorim"],"suffixes":[]},{"firstnames":["Benjamin","C."],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["Antal"],"propositions":[],"lastnames":["Spector-Zabusky"],"suffixes":[]},{"firstnames":["Andrew"],"propositions":[],"lastnames":["Tolmach"],"suffixes":[]}],"title":"Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components","howpublished":"Technical Report, arXiv:1510.00697","url":"http://arxiv.org/abs/1510.00697","year":"2015","month":"October","chcontrib":"secondauthor","bibtex":"@misc{yannis-report,\n author = {Yannis Juglaret and\n C\\u{a}t\\u{a}lin Hri\\c{t}cu and\n Arthur {Azevedo de Amorim} and\n Benjamin C. Pierce and\n Antal Spector-Zabusky and\n Andrew Tolmach},\n title = {Towards a Fully Abstract Compiler Using {Micro-Policies}:\n Secure Compilation for Mutually Distrustful Components},\n howpublished = {Technical Report, arXiv:1510.00697},\n url = {http://arxiv.org/abs/1510.00697},\n year = {2015},\n month = oct,\n chcontrib = {secondauthor},\n}\n\n","author_short":["Juglaret, Y.","Hriţcu, C.","Azevedo de Amorim, A.","Pierce, B. C.","Spector-Zabusky, A.","Tolmach, A."],"key":"yannis-report","id":"yannis-report","bibbaseid":"juglaret-hricu-azevedodeamorim-pierce-spectorzabusky-tolmach-towardsafullyabstractcompilerusingmicropoliciessecurecompilationformutuallydistrustfulcomponents-2015","role":"author","urls":{"Paper":"http://arxiv.org/abs/1510.00697"},"downloads":0,"html":""},"search_terms":["towards","fully","abstract","compiler","using","micro","policies","secure","compilation","mutually","distrustful","components","juglaret","hriţcu","azevedo de amorim","pierce","spector-zabusky","tolmach"],"keywords":[],"authorIDs":[],"dataSources":["hAMnRsgiC28iyFDSa"]}