Yannis Juglaret

Identifiers

No identifiers captured yet.

Papers (2)

1. Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation cs.CR · 2016 · author #1
2. Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components cs.PL · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Arthur Azevedo de Amorim 2 shared papers
• Benjamin C. Pierce 2 shared papers
• Catalin Hritcu 2 shared papers
• Andrew Tolmach 1 shared papers
• Antal Spector-Zabusky 1 shared papers
• Boris Eng 1 shared papers