Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compartmentalization
Yannis Juglaret, Cătălin Hriţcu, Arthur Azevedo de Amorim, Boris Eng, Benjamin C. Pierce
Auxiliary material for the article is provided below:
- Coq development for theorem 3.4: coq.zip
- Text proofs for the instance of section 4: section4-instance.org
- OCaml trace mapping algorithm for section 4: tracemapping.zip