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
∙
11/09/2022
Directional Privacy for Deep Learning
Differentially Private Stochastic Gradient Descent (DP-SGD) is a key met...
research
∙
10/24/2022
Explaining epsilon in differential privacy through the lens of information theory
The study of leakage measures for privacy has been a subject of intensiv...
research
∙
05/03/2022
Universal Optimality and Robust Utility Bounds for Metric Differential Privacy
We study the privacy-utility trade-off in the context of metric differen...
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
∙
07/20/2020
Reasoning with failures
Safety Instrumented Systems (SIS) protect major hazard facilities, e.g. ...
research
∙
05/11/2020
Failure Mode Reasoning in Model Based Safety Analysis
Failure Mode Reasoning (FMR) is a novel approach for analyzing failure i...
research
∙
11/26/2018
Generalised Differential Privacy for Text Document Processing
We address the problem of how to "obfuscate" texts by removing stylistic...
research
∙
05/22/2018
Author Obfuscation Using Generalised Differential Privacy
The problem of obfuscating the authorship of a text document has receive...
research
∙
01/24/2018
An Algebraic Approach for Reasoning About Information Flow
This paper concerns the analysis of information leaks in security system...
research
∙
11/09/2017