We present a push-button, automated technique for verifying ε-differential privacy of sophisticated randomized algorithms.

Sep 15, 2017 · We present a push-button, automated technique for verifying \varepsilon-differential privacy of sophisticated randomized algorithms.

To do so, we (i) present a novel formulation of proofs of differential privacy via couplings, (ii) present a constraint-based technique for discovering coupling.

A push-button, automated technique for verifying ε-differential privacy of sophisticated randomized algorithms and provides the first automated privacy ...

In this paper, we present a push-button, automated technique for verifying $\epsilon$-differential privacy of sophisticated randomized algorithms.

Sep 15, 2017 · Differential privacy has emerged as a promising probabilistic formulation of privacy, generating intense interest within academia and ...

Synthesizing coupling proofs of differential privacy. A Albarghouthi, J Hsu. Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017. 75, 2017.

A number of recent works have leveraged this idea to verify relational prop- erties of randomized algorithms, including differential privacy [12, 10, 8], ...

We specifically apply coupling proofs to prove the privacy of an extended ... Synthesizing coupling proofs of differential privacy. Proceedings of the ACM ...

Oct 7, 2024 · Aws Albarghouthi, Justin Hsu : Synthesizing coupling proofs of differential privacy.