279 citations · 1.1k across the 46 of their papers we have counts for
4 papers · 1 filter
Proving differential privacy in Hoare logic
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias +3
Differential privacy is a rigorous, worst-case notion of privacy-preserving computation. Informally, a probabilistic program is differentially private if the participation of a sin…
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias +3
Mechanism design is the study of algorithm design in which the inputs to the algorithm are controlled by strategic agents, who must be incentivized to faithfully report them. Unlik…
Differential Privacy: An Economic Method for Choosing Epsilon
Justin Hsu, Marco Gaboardi, Andreas Haeberlen +4
Differential privacy is becoming a gold standard for privacy research; it offers a guaranteed bound on loss of privacy due to release of query results, even under worst-case assump…
Dual Query: Practical Private Query Release for High Dimensional Data
Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu +2
We present a practical, differentially private algorithm for answering a large number of queries on high dimensional datasets. Like all algorithms for this task, ours necessarily h…