1. Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Jastin Hsu, Pierre-Yves Strub, Proving Differential Privacy via Probabilistic Couplings, in: Proceedings of Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE, (LICS), to appear.
2. Probabilistic relational reasoning for differential privacy;Barthe,2012
3. Beyond differential privacy: Composition theorems and relational logic for f-divergences between probabilistic programs;Barthe,2013
4. Simple relational correctness proofs for static analyses and program transformations;Benton,2004
5. Categories of timed stochastic relations;Brown,2009