Verification Tool for Differential Privacy. Code for [PLDI'19] "Proving Differential Privacy with Shadow Execution".
Primary LanguagePythonMIT LicenseMIT