154 citations · 897 across the 34 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 61 cited
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…
cs.PL2014★ 61 cited
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…