279 citations · 1.1k across the 46 of their papers we have counts for
5 papers · 1 filter
The Complexity of Verifying Loop-Free Programs as Differentially Private
Marco Gaboardi, Kobbi Nissim, David Purser
We study the problem of verifying differential privacy for loop-free programs with probabilistic choice. Programs in this class can be seen as randomized Boolean circuits, which we…
Facility Location Problem in Differential Privacy Model Revisited
Yunus Esencayi, Marco Gaboardi, Shi Li +1
In this paper we study the uncapacitated facility location problem in the model of differential privacy (DP) with uniform facility cost. Specifically, we first show that, under the…
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
Elisabet Lobo-Vesga, Alejandro Russo, Marco Gaboardi
Differential privacy offers a formal framework for reasoning about privacy and accuracy of computations on private data. It also offers a rich set of building blocks for constructi…
Privacy Amplification by Mixing and Diffusion Mechanisms
Borja Balle, Gilles Barthe, Marco Gaboardi +1
A fundamental result in differential privacy states that the privacy guarantees of a mechanism are preserved by any post-processing of its output. In this paper we investigate unde…
Hypothesis Testing Interpretations and Renyi Differential Privacy
Borja Balle, Gilles Barthe, Marco Gaboardi +2
Differential privacy is a de facto standard in data privacy, with applications in the public and private sectors. A way to explain differential privacy, which is particularly appea…