Bisimilarity distances for approximate differential privacy

DOI10.1007/978-3-030-01090-4_12zbMath1517.68108arXiv1807.10015MaRDI QIDQ6109589

Andrzej S. Murawski, David Purser, Dmitry Chistikov

Publication date: 28 July 2023

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

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

zbMATH Keywords

bisimulationdifferential privacyKantorovich metriclabelled Markov chainsbisimilarity distancesanalysis of probabilistic systems

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Privacy of data (68P27)

Related Items (2)

Model checking differentially private properties ⋮ Asymmetric Distances for Approximate Differential Privacy

This page was built for publication: Bisimilarity distances for approximate differential privacy