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

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

Browse the full CCS paper archive.