Asymmetric distances for approximate differential privacy
D Chistikov, AS Murawski, D Purser - 2019 - wrap.warwick.ac.uk
Differential privacy is a widely studied notion of privacy for various models of computation,
based on measuring differences between probability distributions. We consider (epsilon …
based on measuring differences between probability distributions. We consider (epsilon …
Bisimilarity distances for approximate differential privacy
Differential privacy is a widely studied notion of privacy for various models of computation.
Technically, it is based on measuring differences between probability distributions. We study …
Technically, it is based on measuring differences between probability distributions. We study …
On the complexity of verifying differential privacy
D Purser - 2020 - wrap.warwick.ac.uk
This thesis contributes to the understanding of the computational complexity of verifying
differential privacy. The problem is considered in two constrained, but expressive, models; …
differential privacy. The problem is considered in two constrained, but expressive, models; …
[ספר][B] Vérification automatique de la confidentialité différentielle
L Larbaoui - 2020 - search.proquest.com
Ce rapport étudie la vérification quantitative de la confidentialité différentielle dans les
systèmes distribués. Tout d'abord, nous examinons l'applicabilité de la vérification des …
systèmes distribués. Tout d'abord, nous examinons l'applicabilité de la vérification des …