cmla-psu/shadowdp

Proof-of-Concept Verification Tool for Differential Privacy. Code for [PLDI'19] "Proving Differential Privacy with Shadow Execution".

1 best points · 1 comments · 1 Hacker News post · 8 GitHub stars · View on GitHub

Hacker News discussions