SuperDP: Differential Privacy Refutation via Supermartingales

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Đorđe Žikelić

Differential privacy (DP) has established itself as one of the standards for ensuring privacy of individual data. However, reasoning about DP is a challenging and error-prone task,…