Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs

DOI10.1007/978-3-642-39212-2_8MaRDI QIDQ5327422zbMATH OpenOpenAlexFDO

Authors Gilles Barthe, Federico Olmedo

Publication date 7 August 2013

Published in Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39212-2_8

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Database theory (68P15) Measures of information, entropy (94A17)

Recommendations

• Probabilistic relational reasoning for differential privacy
• On Differentially Private Inductive Logic Programming
• Proving differential privacy via probabilistic couplings
• The Composition Theorem for Differential Privacy
• Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy
• Compositional closure for Bayes risk in probabilistic noninterference
• Probability comprehension of differential privacy for privacy protection algorithms: a new measure
• The complexity of computing the optimal composition of differential privacy
• The complexity of computing the optimal composition of differential privacy

Cited in

(10)

• Approximate relational Hoare logic for continuous random samplings
• On Differentially Private Inductive Logic Programming
• \(*\)-liftings for differential privacy
• Relational -liftings for differential privacy
• Generalized differential privacy: regions of priors that admit robust optimal mechanisms
• Asymmetric Distances for Approximate Differential Privacy
• Divergences on monads for relational program logics
• Improved reductions from noisy to bounded and probing leakages via hockey-stick divergences
• A linear type system for L^p-metric sensitivity analysis
• On the privacy of sublinear-communication Jaccard index estimation via min-hash

Describes a project that uses

Uses Software

• EasyCrypt

This page was built for publication: Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs

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