Differential privacy in probabilistic systems

DOI10.1016/J.IC.2017.03.002MaRDI QIDQ529047zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

metricdifferential privacyprobabilistic bisimilaritylogical characterizationprobabilistic system

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 1361128 (Why is no real title available?)
• A hierarchy of probabilistic system types
• A refined complexity analysis of degree anonymization in graphs
• Algebraic laws for nondeterminism and concurrency
• Analyzing anonymity attacks through noisy channels
• Beating randomized response on incoherent matrices
• Bisimulation through probabilistic testing
• Branching bisimulation congruence for probabilistic systems
• Computational Differential Privacy
• Computing in social networks
• Differential Privacy
• Differential Privacy: A Survey of Results
• Differential privacy in new settings
• Distance makes the types grow stronger: a calculus for differential privacy
• Exploring probabilistic bisimulations. I
• Formal verification of differential privacy for interactive systems (extended abstract)
• Information Distance in Multiples
• Linear dependent types for differential privacy
• Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
• Metrics for labelled Markov processes
• Probabilistic extensions of process algebras.
• Probabilistic logical characterization
• Reactive Systems
• Reliability of Mobile Processes with Noisy Channels
• The algorithmic foundations of differential privacy

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
• scientific article; zbMATH DE number 7234802 (Why is no real title available?)
• Model checking differentially private properties
• Model checking differentially private properties
• Differential initial-value privacy and observability of linear dynamical systems
• Differential Privacy and Security

Describes a project that uses

Uses Software

• Concurrency Workbench
• PrivateLR

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)