Probabilistic relational reasoning for differential privacy | Publicación