TY  - RPRT
TI  - Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation
AU  - Yannis Juglaret
AU  - Catalin Hritcu
AU  - Arthur Azevedo de Amorim
AU  - Boris Eng
AU  - Benjamin C. Pierce
PY  - 2017
UR  - https://arxiv.org/abs/1602.04503
ID  - 1602.04503
ER  -