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

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

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)

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

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)