Verifying Pufferfish privacy in hidden Markov models

DOI10.1007/978-3-030-94583-1_9zbMath1498.68104arXiv2008.01704OpenAlexW4206207527MaRDI QIDQ2152648

Depeng Liu, Bow-Yaw Wang, Li-jun Zhang

Publication date: 8 July 2022

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

Mathematics Subject Classification ID

Privacy of data (68P27)

Related Items (1)

Model checking differentially private properties

Uses Software

• REDLOG
• z3
• PrivateLR
• Pufferfish
• LightDP

Cites Work

• Unnamed Item
• Coupled relational symbolic execution for differential privacy
• Probabilistic relational reasoning for differential privacy
• Pufferfish
• The Algorithmic Foundations of Differential Privacy
• The Complexity of Markov Decision Processes
• Proving Differential Privacy via Probabilistic Couplings
• Universally Utility-maximizing Privacy Mechanisms
• Deciding Differential Privacy for Programs with Finite Inputs and Outputs
• Universally utility-maximizing privacy mechanisms
• LightDP: towards automating differential privacy proofs
• Differential Privacy
• Model checking differentially private properties

This page was built for publication: Verifying Pufferfish privacy in hidden Markov models