Proving Differential Privacy via Probabilistic Couplings.

Gilles Barthe, Marco Gaboardi, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub

Browse the full LICS paper archive.