Yannis Juglaret

Secure Compilation Using Micro-Policies ( Extended Abstract )

Yannis Juglaret, 2015 .

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

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

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 Compartmentalizing Compilation

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

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

Arthur Azevedo de Amorim, B. Pierce, Yannis Juglaret, 2016 .

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

Arthur Azevedo de Amorim, B. Pierce, Yannis Juglaret, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).