SampCert: Verified Foundations for Differential Privacy (PLDI 2025)

(dl.acm.org)

1 points | by stmw 6 hours ago

No comments yet.