danrr / shadowdp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from hengchu/shadowdp
Proof-of-Concept Verification Tool for Differential Privacy. Code for [PLDI'19] "Proving Differential Privacy with Shadow Execution".
License: MIT License