RényiTester: A Variational Approach to Testing Differential Privacy

07/10/2023
by   William Kong, et al.
0

Governments and industries have widely adopted differential privacy as a measure to protect users' sensitive data, creating the need for new implementations of differentially private algorithms. In order to properly test and audit these algorithms, a suite of tools for testing the property of differential privacy is needed. In this work we expand this testing suite and introduce RényiTester, an algorithm that can verify if a mechanism is Rényi differentially private. Our algorithm computes computes a lower bound of the Rényi divergence between the distributions of a mechanism on neighboring datasets, only requiring black-box access to samples from the audited mechanism. We test this approach on a variety of pure and Rényi differentially private mechanisms with diverse output spaces and show that RényiTester detects bugs in mechanisms' implementations and design flaws. While detecting that a general mechanism is differentially private is known to be NP hard, we empirically show that tools like RényiTester provide a way for researchers and engineers to decrease the risk of deploying mechanisms that expose users' privacy.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/30/2021

Concurrent Composition of Differential Privacy

We initiate a study of the composition properties of interactive differe...
research
01/28/2022

A Joint Exponential Mechanism For Differentially Private Top-k

We present a differentially private algorithm for releasing the sequence...
research
07/10/2023

A unifying framework for differentially private quantum algorithms

Differential privacy is a widely used notion of security that enables th...
research
08/26/2021

Subspace Differential Privacy

Many data applications have certain invariant constraints due to practic...
research
03/16/2018

Differential Privacy for Growing Databases

We study the design of differentially private algorithms for adaptive an...
research
08/17/2020

CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples

We propose CheckDP, the first automated and integrated approach for prov...
research
11/03/2017

Differentially Private ANOVA Testing

Modern society generates an incredible amount of data about individuals,...

Please sign up or login with your details

Forgot password? Click here to reset