Model checking differentially private properties

DOI10.1007/978-3-030-02768-1_21MaRDI QIDQ6166158zbMATH OpenOpenAlexFDO

Authors Depeng Liu, Bow-Yaw Wang, Lijun Zhang

Publication date 2 August 2023

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-02768-1_21

Mathematics Subject Classification ID

Temporal logic (03B44) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Privacy of data (68P27) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40)

Recommendations

• Model checking differentially private properties
• Probabilistic relational reasoning for differential privacy
• Deciding differential privacy for programs with finite inputs and outputs
• Bisimilarity distances for approximate differential privacy
• Differential privacy in probabilistic systems

Cited in

(6)

• Verifying Pufferfish privacy in hidden Markov models
• Coupled relational symbolic execution for differential privacy
• Model checking differentially private properties
• Deciding differential privacy for programs with finite inputs and outputs
• Differential privacy in probabilistic systems
• Bisimilarity distances for approximate differential privacy

This page was built for publication: Model checking differentially private properties

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