Deciding Differential Privacy for Programs with Finite Inputs and
Outputs

v1v2 (latest)

Deciding Differential Privacy for Programs with Finite Inputs and Outputs

9 October 2019

Gilles Barthe

Mahesh Viswanathan

ArXiv (abs)PDF HTML

Papers citing "Deciding Differential Privacy for Programs with Finite Inputs and Outputs"

7 / 7 papers shown

Title
The Complexity of Verifying Loop-Free Programs as Differentially Private Marco Gaboardi Kobbi Nissim David Purser 13 3 0 08 Nov 2019
Detecting Violations of Differential Privacy Zeyu Ding Yuxin Wang Guanhong Wang Qiang Yan Daniel Kifer 53 139 0 25 May 2018
LightDP: Towards Automating Differential Privacy Proofs Qiang Yan Daniel Kifer 62 73 0 27 Jul 2016
Understanding the Sparse Vector Technique for Differential Privacy Min Lyu D. Su Ninghui Li 46 166 0 05 Mar 2016
Proving Differential Privacy via Probabilistic Couplings Gilles Barthe Marco Gaboardi B. Grégoire Justin Hsu Pierre-Yves Strub 95 103 0 19 Jan 2016
Iterative Constructions and Private Data Release Anupam Gupta Aaron Roth Jonathan R. Ullman 73 208 0 19 Jul 2011
Differentially Private Combinatorial Optimization Anupam Gupta Katrina Ligett Frank McSherry Aaron Roth Kunal Talwar 78 233 0 26 Mar 2009