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 ]
• • Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
  • Zachary Grannan, Aurel Bíly, Jonáš Fiala, Jasper Geer, Markus de Medeiros, Peter Müller, Alexander J. Summers
  • Submitted to OOPSLA 2025 [ arXiv ]