TY  - RPRT
TI  - Verified Foundations for Differential Privacy
AU  - Markus de Medeiros
AU  - Muhammad Naveed
AU  - Tancrède Lepoint
AU  - Temesghen Kahsai
AU  - Tristan Ravitch
AU  - Stefan Zetzsche
AU  - Anjali Joshi
AU  - Joseph Tassarotti
AU  - Aws Albarghouthi
AU  - Jean-Baptiste Tristan
PY  - 2025
UR  - https://arxiv.org/abs/2412.01671
ID  - 2412.01671
ER  -