9 citations · 9 across the 1 of their papers we have counts for
2 papers
cs.CR2016
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim +2
Compartmentalization is good security-engineering practice. By breaking a large software system into mutually distrustful components that run with minimal privileges, restricting t…
cs.PL2015★ 9 cited
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim +3
Secure compilation prevents all low-level attacks on compiled code and allows for sound reasoning about security in the source language. In this work we propose a new attacker mode…