@article{DBLP:journals/toplas/BartheKOB13, author = "Gilles Barthe and Boris K{\"o}pf and Federico Olmedo and Santiago Zanella B{\'e}guelin", journal = "ACM Trans. Program. Lang. Syst.", note = "PARTNERS: IMDEA. PROJECTS: European Projects FP7-256980 NESSoS, FP7-229599 AMAROUT, Spanish project TIN2009-14599 DESAFIOS 10, Madrid Regional project S2009TIC-1465 PROMETIDOS, and French project ANR SESUR-012 SCALP. CITE(03/03/2014):38", number = "3", pages = "9", title = "{P}robabilistic {R}elational {R}easoning for {D}ifferential {P}rivacy", volume = "35", year = "2013", }