@article{demedeiros-2025-verified, title={Verified Foundations for Differential Privacy}, volume={9}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3729294}, DOI={10.1145/3729294}, number={PLDI}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={de Medeiros, Markus and Naveed, Muhammad and Lepoint, Tancrède and Kahsai, Temesghen and Ravitch, Tristan and Zetzsche, Stefan and Joshi, Anjali and Tassarotti, Joseph and Albarghouthi, Aws and Tristan, Jean-Baptiste}, year={2025}, month=June, pages={1094–1118} }