Model checking differentially private properties

DOI10.1007/978-3-030-02768-1_21zbMATH Open1519.68137OpenAlexW2897540200MaRDI QIDQ6166158FDOQ6166158

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

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

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)

Cited In (4)

• Bisimilarity distances for approximate differential privacy
• Verifying Pufferfish privacy in hidden Markov models
• Coupled relational symbolic execution for differential privacy
• Model checking differentially private properties

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)