Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation (bibtex)
by Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng, 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, 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