*-liftings for differential privacy

DOI10.4230/LIPICS.ICALP.2017.102MaRDI QIDQ5111434zbMATH OpenFDO

Authors Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub

Publication date 27 May 2020

Full work available at URL https://doi.org/10.4230/LIPICS.ICALP.2017.102

zbMATH Keywords

differential privacyformal verificationprobabilistic couplings

Mathematics Subject Classification ID

Privacy of data (68P27) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Relational -liftings for differential privacy
• Proving differential privacy via probabilistic couplings
• Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs
• Probabilistic relational reasoning for differential privacy
• Concentrated differential privacy: simplifications, extensions, and lower bounds

Cited in

(8)

• Approximate relational Hoare logic for continuous random samplings
• Strassen's theorem for quantum couplings
• A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory
• SENSITIVITY-INDEPENDENT DIFFERENTIAL PRIVACY VIA PRIOR KNOWLEDGE REFINEMENT
• Proving differential privacy via probabilistic couplings
• Relational -liftings for differential privacy
• scientific article; zbMATH DE number 7333242 (Why is no real title available?)
• Asymmetric Distances for Approximate Differential Privacy

This page was built for publication: \(*\)-liftings for differential privacy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111434)