Yannis Juglaret

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 3

Top Topics

Outsourced Databases

Security Management

Top Venues

Publications

Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce
Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level Compartmentalization. CoRR (2016)
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng, Benjamin C. Pierce
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation. CSF (2016)
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components. CoRR (2015)