When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise (bibtex)
by Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati and Andrew Tolmach
Reference:
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise (Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati and Andrew Tolmach), In 25th ACM Conference on Computer and Communications Security (CCS), ACM, 2018.
Bibtex Entry:
@inproceedings{AbateABEFHLPST18,
  author = {Carmine Abate and
            Arthur {Azevedo de Amorim} and
            Roberto Blanco and
            Ana Nora Evans and
            Guglielmo Fachini and
            Catalin Hritcu and
            Th\'eo Laurent and
            Benjamin C. Pierce and
            Marco Stronati and
            Andrew Tolmach},
  title = {When Good Components Go Bad:
           Formally Secure Compilation Despite Dynamic Compromise},
  booktitle = {25th ACM Conference on
               Computer and Communications Security (CCS)},
  shortbooktitle = {CCS},
  url = {https://arxiv.org/abs/1802.00588},
  year = {2018},
  month = oct,
  pages = {1351--1368},
  publisher = {{ACM}},
}
Powered by bibtexbrowser