Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
SampCert: Verified Foundations for Differential Privacy (PLDI 2025) (acm.org)
1 point by stmw 42 days ago | hide | past | favorite


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: