Probabilistic relational reasoning for differential privacy

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Barthe, Gilles Köpf, Boris Olmedo, Federico Béguelin, Santiago Zanella
Editor:	John Field and Michael Hicks
Book title:	Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012
Pages:	97-110


ISBN:	978-1-4503-1083-3

@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", }
Note:	PARTNERS: IMDEA - PROJECTS: NESSoS, AMAROUT, DESAFIOS 10, PROMETIDOS, ANR SESUR-012 SCALP. TIER: A CITE(03/03/2014):38
[Bibtex]