Deciding Differential Privacy for Programs with Finite Inputs and Outputs

Gilles Barthe, Rohit Chadha, Vishal Jagannath +2

Differential privacy is a de facto standard for statistical computations over databases that contain private data. The strength of differential privacy lies in a rigorous mathemati…