Proving Differential Privacy via Probabilistic Couplings

v1v2v3v4v5 (latest)

Proving Differential Privacy via Probabilistic Couplings

19 January 2016

Gilles Barthe

Pierre-Yves Strub

ArXiv (abs)PDF HTML

Papers citing "Proving Differential Privacy via Probabilistic Couplings"

7 / 7 papers shown

Title
Private Fine-tuning of Large Language Models with Zeroth-order Optimization Xinyu Tang Ashwinee Panda Milad Nasr Saeed Mahloujifar Prateek Mittal 161 23 0 09 Jan 2024
Understanding the Sparse Vector Technique for Differential Privacy Min Lyu D. Su Ninghui Li 46 166 0 05 Mar 2016
On the Privacy Properties of Variants on the Sparse Vector Technique Yan Chen Ashwin Machanavajjhala 28 31 0 28 Aug 2015
Preserving Statistical Validity in Adaptive Data Analysis Cynthia Dwork Vitaly Feldman Moritz Hardt T. Pitassi Omer Reingold Aaron Roth 79 376 0 10 Nov 2014
Proving differential privacy in Hoare logic Gilles Barthe Marco Gaboardi E. J. G. Arias Justin Hsu César Kunz Pierre-Yves Strub 73 63 0 10 Jul 2014
Formal Verification of Differential Privacy for Interactive Systems Michael Carl Tschantz D. Kaynar Anupam Datta 80 45 0 14 Jan 2011
Differentially Private Combinatorial Optimization Anupam Gupta Katrina Ligett Frank McSherry Aaron Roth Kunal Talwar 78 231 0 26 Mar 2009