Probabilistic relational reasoning for differential privacy.

Gilles Barthe, Boris Kpf, Federico Olmedo, Santiago Zanella-Bguelin

Browse the full POPL paper archive.