research
∙
08/22/2023
A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow
We combine Kronecker products, and quantitative information flow, to giv...
share
research
∙
04/28/2022
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata
We present a systematic refactoring of the conventional treatment of pri...
research
∙
05/15/2021
The Laplace Mechanism has optimal utility for differential privacy over continuous queries
Differential Privacy protects individuals' data when statistical queries...
research
∙
07/30/2020
Correctness by construction for probabilistic programs
The "correct by construction" paradigm is an important component of mode...
research
∙
11/09/2017
A New Proof Rule for Almost-Sure Termination
An important question for a probabilistic program is whether the probabi...
research
∙
11/13/2015