Deciding differential privacy for programs with finite inputs and outputs

DOI10.1145/3373718.3394796MaRDI QIDQ5145627zbMATH OpenOpenAlexFDO

Authors

Publication date 21 January 2021

Published in Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1910.04137

zbMATH Keywords

decision proceduredifferential privacysparse vector

Mathematics Subject Classification ID

Privacy of data (68P27)

Recommendations

• Probabilistic relational reasoning for differential privacy
• Model checking differentially private properties
• Distance makes the types grow stronger: a calculus for differential privacy
• The algorithmic foundations of differential privacy
• Model checking differentially private properties

Cited in

(7)

• Verifying Pufferfish privacy in hidden Markov models
• Coupled relational symbolic execution for differential privacy
• Model checking differentially private properties
• Probabilistic relational reasoning for differential privacy
• On Differentially Private Inductive Logic Programming
• Model checking differentially private properties
• Proving that programs are differentially private

This page was built for publication: Deciding differential privacy for programs with finite inputs and outputs

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