Preprints

• • Verified Foundations for Differential Privacy
  • Markus de Medeiros, Muhammad Naveed, Tancrete Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
  • Submitted to PLDI 2025 [ arXiv ] [ Cryptology ePrint Archive ]