*-liftings for differential privacy
From MaRDI portal
Publication:5111434
DOI10.4230/LIPICS.ICALP.2017.102zbMATH Open1442.68100MaRDI QIDQ5111434FDOQ5111434
Thomas Espitau, Tetsuya Sato, Pierre-Yves Strub, Gilles Barthe, Justin Hsu
Publication date: 27 May 2020
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
Specification and verification (program logics, model checking, etc.) (68Q60) Privacy of data (68P27)
Cited In (5)
- Asymmetric Distances for Approximate Differential Privacy
- Strassen's theorem for quantum 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
- Title not available (Why is that?)
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)
