Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components (bibtex)
by Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
Reference:
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components (Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach), Technical Report, arXiv:1510.00697, 2015.
Bibtex Entry:
@misc{yannis-report,
  author = {Yannis Juglaret and
            Catalin Hritcu and
            Arthur {Azevedo de Amorim} and
            Benjamin C. Pierce and
            Antal Spector-Zabusky and
            Andrew Tolmach},
  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 = oct,
}
Powered by bibtexbrowser