Probabilistic relational reasoning for differential privacy - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin. Probabilistic relational reasoning for differential privacy. In John Field, Michael Hicks, editors, 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, ACM, 2012. [doi]

The following publications are possibly variants of this publication:

Probabilistic Relational Reasoning for Differential PrivacyGilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin. TOPLAS, 35(3):9, 2013. [doi]

Approximate Relational Reasoning for Probabilistic ProgramsFederico Olmedo. PhD thesis, Technical University of Madrid, Spain, 2014. [doi]

Relational Reasoning via Probabilistic CouplingGilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub. lpar 2015: 387-401 [doi]

runs on WebDSL