*-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

zbMATH Keywords

differential privacyprobabilistic couplingsformal verification

Mathematics Subject Classification ID

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

Recommendations

• Relational \(\star\)-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)

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

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)