279 citations · 532 across the 16 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
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…
cs.PL2015
A Verified Information-Flow Architecture
Arthur Azevedo de Amorim, Nathan Collins, André DeHon +6
SAFE is a clean-slate design for a highly secure computer system, with pervasive mechanisms for tracking and limiting information flows. At the lowest level, the SAFE hardware supp…