Yannis Juglaret

According to our database, Yannis Juglaret authored at least 3 papers between 2015 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

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

Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce

CoRR, 2016

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

Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng, Benjamin C. Pierce

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

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

Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach

CoRR, 2015