Yannis Juglaret

Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components pdf

Benjamin C. Pierce, Antal Spector-Zabusky, Catalin Hritcu, 2015, ArXiv.

Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation

Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).

Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level Compartmentalization pdf

Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016, ArXiv.

Beyond Good and Evil: Formalizing the Security Guarantees of Low-Level Compartmentalization

Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016 .