Proving that programs are differentially private

DOI10.1007/978-3-030-34175-6_1MaRDI QIDQ6536302zbMATH OpenFDO

Authors Annabelle McIver, Carroll Morgan

Publication date 19 April 2024

Full work available at URL https://doi.org/10.1007/978-3-030-34175-6_1

zbMATH Keywords

differential privacyprobabilistic program semanticsquantitative information flowverification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Privacy of data (68P27)

Recommendations

• Probabilistic relational reasoning for differential privacy
• Formal verification of differential privacy for interactive systems (extended abstract)
• LightDP: towards automating differential privacy proofs
• Deciding differential privacy for programs with finite inputs and outputs
• Differential Privacy and Security

Cites work

• A Mathematical Theory of Communication
• Abstract hidden Markov models: a monadic account of quantitative information flow
• Compositional closure for Bayes risk in probabilistic noninterference
• Differential Privacy
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• On the Foundations of Quantitative Information Flow
• On the relation between differential privacy and quantitative information flow
• Proving differential privacy via probabilistic couplings
• Randomized response: a survey technique for eliminating evasive answer bias

Cited in

(1)

• Composition theorems for f-differential privacy

This page was built for publication: Proving that programs are differentially private

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