@misc{indiciaee0c8a8358a2d,
  title = {Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation},
  author = {Yannis Juglaret and Catalin Hritcu and Arthur Azevedo de Amorim and Boris Eng and Benjamin C. Pierce},
  year = {2017},
  url = {https://arxiv.org/abs/1602.04503},
  note = {Source identifier: 1602.04503}
}