10 citations · 10 across the 1 of their papers we have counts for
3 papers
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
We introduce an automata model for describing interesting classes of differential privacy mechanisms/algorithms that include known mechanisms from the literature. These automata ca…
Deciding Accuracy of Differential Privacy Schemes
Gilles Barthe, Rohit Chadha, Paul Krogmeier +2
Differential privacy is a mathematical framework for developing statistical computations with provable guarantees of privacy and accuracy. In contrast to the privacy component of d…
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…