Asymmetric distances for approximate differential privacy

Differential privacy is a widely studied notion of privacy for various models of computation, based on measuring differences between probability distributions. We consider (epsilon,delta)-differential privacy in the setting of labelled Markov chains. For a given epsilon, the parameter delta can be c...

Full description

Bibliographic Details
Main Authors: Chistikov, D, Murawski, A, Purser, D
Format: Conference item
Published: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019
_version_ 1797093100373409792
author Chistikov, D
Murawski, A
Purser, D
author_facet Chistikov, D
Murawski, A
Purser, D
author_sort Chistikov, D
collection OXFORD
description Differential privacy is a widely studied notion of privacy for various models of computation, based on measuring differences between probability distributions. We consider (epsilon,delta)-differential privacy in the setting of labelled Markov chains. For a given epsilon, the parameter delta can be captured by a variant of the total variation distance, which we call lv_{alpha} (where alpha = e^{epsilon}). First we study lv_{alpha} directly, showing that it cannot be computed exactly. However, the associated approximation problem turns out to be in PSPACE and #P-hard. Next we introduce a new bisimilarity distance for bounding lv_{alpha} from above, which provides a tighter bound than previously known distances while remaining computable with the same complexity (polynomial time with an NP oracle). We also propose an alternative bound that can be computed in polynomial time. Finally, we illustrate the distances on case studies.
first_indexed 2024-03-07T03:55:29Z
format Conference item
id oxford-uuid:c2bb8a8a-a4e8-41af-8f7b-c0f6fa981999
institution University of Oxford
last_indexed 2024-03-07T03:55:29Z
publishDate 2019
publisher Schloss Dagstuhl - Leibniz-Zentrum für Informatik
record_format dspace
spelling oxford-uuid:c2bb8a8a-a4e8-41af-8f7b-c0f6fa9819992022-03-27T06:10:59ZAsymmetric distances for approximate differential privacyConference itemhttp://purl.org/coar/resource_type/c_5794uuid:c2bb8a8a-a4e8-41af-8f7b-c0f6fa981999Symplectic Elements at OxfordSchloss Dagstuhl - Leibniz-Zentrum für Informatik2019Chistikov, DMurawski, APurser, DDifferential privacy is a widely studied notion of privacy for various models of computation, based on measuring differences between probability distributions. We consider (epsilon,delta)-differential privacy in the setting of labelled Markov chains. For a given epsilon, the parameter delta can be captured by a variant of the total variation distance, which we call lv_{alpha} (where alpha = e^{epsilon}). First we study lv_{alpha} directly, showing that it cannot be computed exactly. However, the associated approximation problem turns out to be in PSPACE and #P-hard. Next we introduce a new bisimilarity distance for bounding lv_{alpha} from above, which provides a tighter bound than previously known distances while remaining computable with the same complexity (polynomial time with an NP oracle). We also propose an alternative bound that can be computed in polynomial time. Finally, we illustrate the distances on case studies.
spellingShingle Chistikov, D
Murawski, A
Purser, D
Asymmetric distances for approximate differential privacy
title Asymmetric distances for approximate differential privacy
title_full Asymmetric distances for approximate differential privacy
title_fullStr Asymmetric distances for approximate differential privacy
title_full_unstemmed Asymmetric distances for approximate differential privacy
title_short Asymmetric distances for approximate differential privacy
title_sort asymmetric distances for approximate differential privacy
work_keys_str_mv AT chistikovd asymmetricdistancesforapproximatedifferentialprivacy
AT murawskia asymmetricdistancesforapproximatedifferentialprivacy
AT purserd asymmetricdistancesforapproximatedifferentialprivacy