research
∙
07/14/2022
On Pitts' Relational Properties of Domains
Andrew Pitts' framework of relational properties of domains is a powerfu...
share
research
∙
02/03/2022
Bunched Fuzz: Sensitivity for Vector Metrics
"Program sensitivity" measures the distance between the outputs of a pro...
research
∙
07/13/2018
Probabilistic Relational Reasoning via Metrics
The Fuzz programming language [Reed and Pierce, 2010] uses an elegant li...
research
∙
07/13/2018
Metric Semantics for Probabilistic Relational Reasoning
The Fuzz programming language [Reed and Pierce, 2010] uses an elegant li...
research
∙
02/02/2018
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
We propose a new formal criterion for secure compilation, giving strong ...
research
∙
10/19/2017
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract)
We propose a new formal criterion for secure compilation, providing stro...
research
∙
05/20/2017