Differential Privacy

The goal of this project is to significantly increase the reliability and availability of differential privacy for state-of-the-art data processing systems.

Publications

2023

Group and Attack: Auditing Differential Privacy

Johan Lokna, Anouk Paradis, Dimitar I. Dimitrov, Martin Vechev

ACM CCS 2023

Slides
Talk
Paper
Code

2021

DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers

Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, Martin Vechev

IEEE S&P 2021

Slides
Talk
Paper
Code

2018

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization

Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin Vechev

ACM CCS 2018

Slides
Talk
Paper
Code