papers
Publications (10)
cs.PL2017
Synthesizing Bijective Lenses
Anders Miltner, Kathleen Fisher, Benjamin C. Pierce +2
cs.PL2015
Testing Noninterference, Quickly
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky +5
cs.DB2014
Differential Privacy: An Economic Method for Choosing Epsilon
Justin Hsu, Marco Gaboardi, Andreas Haeberlen +4
cs.PL2019
Fuzzi: A Three-Level Logic for Differential Privacy
Hengchu Zhang, Edo Roth, Andreas Haeberlen +2
cs.PL2018
The Meaning of Memory Safety
Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce
cs.PL2019
Synthesizing Symmetric Lenses
Anders Miltner, Solomon Maina, Kathleen Fisher +3
cs.PL2015
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim +3
cs.PL2016
A Verified Information-Flow Architecture
Arthur Azevedo de Amorim, Nathan Collins, André DeHon +6
cs.CR2017
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract)
Guglielmo Fachini, Catalin Hritcu, Marco Stronati +5
cs.CR2017
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim +2