Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation (bibtex)
by Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng and Benjamin C. Pierce
Reference:
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation (Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng and Benjamin C. Pierce), In 29th IEEE Symposium on Computer Security Foundations (CSF), IEEE Computer Society Press, 2016.
Bibtex Entry:
@inproceedings{beyond-good-and-evil,
  author = {Yannis Juglaret and
            Catalin Hritcu and
            Arthur {Azevedo de Amorim} and
            Boris Eng and
            Benjamin C. Pierce},
  title = {Beyond Good and Evil: Formalizing the Security Guarantees
                  of Compartmentalizing Compilation},
  booktitle = {29th IEEE Symposium on Computer Security Foundations (CSF)},
  shortbooktitle = {CSF},
  year = {2016},
  month = jul,
  publisher = {IEEE Computer Society Press},
  url = {http://arxiv.org/abs/1602.04503},
  acceptance = {31/87=0.36},
  key = {Conference Papers},
  pages     = {45--60},
  doi       = {10.1109/CSF.2016.11},
}
Powered by bibtexbrowser