cs.CR
Verified Foundations for Differential Privacy
Markus de Medeiros Muhammad Naveed Tancrede Lepoint Temesghen Kahsai Tristan Ravitch Stefan Zetzsche Anjali Joshi Joseph Tassarotti Aws Albarghouthi Jean-Baptiste Tristan