279 citations · 532 across the 16 of their papers we have counts for
Showing 2016 · cs.CRShow all
2 papers · 2 filters
cs.CR2016★ 25 cited
Report on the NSF Workshop on Formal Methods for Security
Stephen Chong, Joshua Guttman, Anupam Datta +5
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
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…