Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev. DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. In David Lie, Mohammad Mannan, Michael Backes 0001, Xiaofeng Wang 0001, editors, Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018. pages 508-524, ACM, 2018. [doi]
Abstract is missing.