Proving Differential Privacy via Probabilistic Couplings. - Barthe, Gilles; Gaboardi, Marco; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves (2016)