@conference{DBLP:conf/popl/BartheKOB12,
author = "Gilles Barthe and Boris K{\"o}pf and Federico Olmedo and Santiago Zanella B{\'e}guelin",
booktitle = "Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on                Principles of Programming Languages, POPL 2012, Philadelphia,                Pennsylvania, USA, January 22-28, 2012",
doi = "10.1145/2103656.2103670",
editor = "John Field and                Michael Hicks",
isbn = "978-1-4503-1083-3",
note = "PARTNERS: IMDEA - PROJECTS: NESSoS, AMAROUT, DESAFIOS 10, PROMETIDOS, ANR SESUR-012 SCALP.
TIER: A
CITE(03/03/2014):38",
pages = "97-110",
title = "{P}robabilistic relational reasoning for differential privacy",
year = "2012",
}