Model checking differentially private properties

DOI10.1007/978-3-030-02768-1_21zbMath1519.68137OpenAlexW2897540200MaRDI QIDQ6166158

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

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) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Privacy of data (68P27)

Related Items (3)

Verifying Pufferfish privacy in hidden Markov models ⋮ Model checking differentially private properties ⋮ Coupled relational symbolic execution for differential privacy

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