Proving that programs are differentially private

DOI10.1007/978-3-030-34175-6_1zbMATH Open1542.68035MaRDI QIDQ6536302

Annabelle McIver, Carroll Morgan

Publication date: 19 April 2024

zbMATH Keywords

verificationdifferential privacyquantitative information flowprobabilistic program semantics

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A Mathematical Theory of Communication
• Randomized Response: A Survey Technique for Eliminating Evasive Answer Bias
• On the Relation between Differential Privacy and Quantitative Information Flow
• Compositional Closure for Bayes Risk in Probabilistic Noninterference
• On the Foundations of Quantitative Information Flow
• Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow
• Proving Differential Privacy via Probabilistic Couplings
• 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)