Privacy amplification by subsampling: Tight analyses via couplings and divergences

B Balle, G Barthe, M Gaboardi - Advances in neural …, 2018 - proceedings.neurips.cc
Differential privacy comes equipped with multiple analytical tools for the design of private
data analyses. One important tool is the so-called" privacy amplification by subsampling" …

The privacy blanket of the shuffle model

B Balle, J Bell, A Gascón, K Nissim - … , Santa Barbara, CA, USA, August 18 …, 2019 - Springer
This work studies differential privacy in the context of the recently proposed shuffle model.
Unlike in the local model, where the server collecting privatized data from users can track …

Privacy loss in apple's implementation of differential privacy on macos 10.12

J Tang, A Korolova, X Bai, X Wang, X Wang - arXiv preprint arXiv …, 2017 - arxiv.org
In June 2016, Apple announced that it will deploy differential privacy for some user data
collection in order to ensure privacy of user data, even from Apple. The details of Apple's …

Detecting violations of differential privacy

Z Ding, Y Wang, G Wang, D Zhang, D Kifer - Proceedings of the 2018 …, 2018 - dl.acm.org
The widespread acceptance of differential privacy has led to the publication of many
sophisticated algorithms for protecting privacy. However, due to the subtle nature of this …

Differential privacy in cognitive radio networks: a comprehensive survey

M Ul Hassan, MH Rehmani, M Rehan, J Chen - Cognitive Computation, 2022 - Springer
Integrating cognitive radio (CR) with traditional wireless networks is helping solve the
problem of spectrum scarcity in an efficient manner. The opportunistic and dynamic …

Dp-sniper: Black-box discovery of differential privacy violations using classifiers

B Bichsel, S Steffen, I Bogunovic… - 2021 IEEE Symposium …, 2021 - ieeexplore.ieee.org
We present DP-Sniper, a practical black-box method that automatically finds violations of
differential privacy. DP-Sniper is based on two key ideas:(i) training a classifier to predict if …

Detecting violations of differential privacy for quantum algorithms

J Guan, W Fang, M Huang, M Ying - Proceedings of the 2023 ACM …, 2023 - dl.acm.org
Quantum algorithms for solving a wide range of practical problems have been proposed in
the last ten years, such as data search and analysis, product recommendation, and credit …

Sound and complete certificates for quantitative termination analysis of probabilistic programs

K Chatterjee, AK Goharshady, T Meggendorfer… - … on Computer Aided …, 2022 - Springer
We consider the quantitative problem of obtaining lower-bounds on the probability of
termination of a given non-deterministic probabilistic program. Specifically, given a non …

Differentially private testing of identity and closeness of discrete distributions

J Acharya, Z Sun, H Zhang - Advances in Neural …, 2018 - proceedings.neurips.cc
We study the fundamental problems of identity testing (goodness of fit), and closeness
testing (two sample test) of distributions over $ k $ elements, under differential privacy. While …

Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs

S Agrawal, K Chatterjee, P Novotný - Proceedings of the ACM on …, 2017 - dl.acm.org
Probabilistic programs extend classical imperative programs with real-valued random
variables and random branching. The most basic liveness property for such programs is the …