SuperDP: Differential Privacy Refutation via Supermartingales

Bibliographic Details
Title:	SuperDP: Differential Privacy Refutation via Supermartingales
Authors:	Chatterjee, Krishnendu, Kafshdar Goharshady, Ehsan, Žikelić, Đorđe
Source:	Proceedings of the ACM on Programming Languages. 10(PLDI):1228-1252
Availability:	http://dl.acm.org/doi/10.1145/3808296
Database:	ACM Full-Text Collection

Description
ISSN:	24751421
DOI:	10.1145/3808296