Differential privacy in probabilistic systems
DOI10.1016/J.IC.2017.03.002zbMATH Open1370.68081OpenAlexW2600012517MaRDI QIDQ529047FDOQ529047
Authors: Jiannan Yang, Yongzhi Cao, Hanpin Wang 
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
Recommendations
- Formal verification of differential privacy for interactive systems (extended abstract)
- Probabilistic relational reasoning for differential privacy
- Bisimilarity distances for approximate differential privacy
- scientific article; zbMATH DE number 7234802
- Model checking differentially private properties
Data encryption (aspects in computer science) (68P25) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Logic in computer science (03B70)
Cites Work
- Differential Privacy
- Differential Privacy: A Survey of Results
- Algebraic laws for nondeterminism and concurrency
- Bisimulation through probabilistic testing
- Information Distance in Multiples
- Metrics for labelled Markov processes
- Title not available (Why is that?)
- Reactive Systems
- Computational Differential Privacy
- A refined complexity analysis of degree anonymization in graphs
- Reliability of Mobile Processes with Noisy Channels
- Exploring probabilistic bisimulations. I
- Probabilistic logical characterization
- A hierarchy of probabilistic system types
- Probabilistic extensions of process algebras.
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
- Analyzing anonymity attacks through noisy channels
- Linear dependent types for differential privacy
- Computing in social networks
- The algorithmic foundations of differential privacy
- Distance makes the types grow stronger: a calculus for differential privacy
- Beating randomized response on incoherent matrices
- Branching bisimulation congruence for probabilistic systems
- Differential privacy in new settings
- Formal verification of differential privacy for interactive systems (extended abstract)
Cited In (8)
- Bisimilarity distances for approximate differential privacy
- Formal verification of differential privacy for interactive systems (extended abstract)
- On Differentially Private Inductive Logic Programming
- Model checking differentially private properties
- Title not available (Why is that?)
- Model checking differentially private properties
- Differential initial-value privacy and observability of linear dynamical systems
- Differential Privacy and Security
Uses Software
This page was built for publication: Differential privacy in probabilistic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q529047)
