Differential privacy in probabilistic systems

DOI10.1016/j.ic.2017.03.002zbMath1370.68081OpenAlexW2600012517MaRDI QIDQ529047

Yongzhi Cao, Hanpin Wang, Jiannan Yang

Publication date: 18 May 2017

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2017.03.002

zbMATH Keywords

metricdifferential privacyprobabilistic bisimilaritylogical characterizationprobabilistic system

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Logic in computer science (03B70) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Uses Software

• PrivateLR
• Concurrency Workbench

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Analyzing anonymity attacks through noisy channels
• Metrics for labelled Markov processes
• Probabilistic logical characterization
• A hierarchy of probabilistic system types
• Bisimulation through probabilistic testing
• Exploring probabilistic bisimulations. I
• A refined complexity analysis of degree anonymization in graphs
• Computing in social networks
• Linear dependent types for differential privacy
• Computational Differential Privacy
• The Algorithmic Foundations of Differential Privacy
• Differential Privacy: A Survey of Results
• Algebraic laws for nondeterminism and concurrency
• Distance makes the types grow stronger
• Reliability of Mobile Processes with Noisy Channels
• Information Distance in Multiples
• Reactive Systems
• Beating randomized response on incoherent matrices
• Branching Bisimulation Congruence for Probabilistic Systems
• Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)
• Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
• Differential Privacy

This page was built for publication: Differential privacy in probabilistic systems