Differential privacy in probabilistic systems
From MaRDI portal
Publication:529047
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
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
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