Cited By
View all- Sato TMinamide YStark KTimany ABlazy STabareau N(2025)Formalization of Differential Privacy in Isabelle/HOLProceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3703595.3705875(67-82)Online publication date: 10-Jan-2025
- Lobo-Vesga ERusso AGaboardi MCortiñas C(2024)Sensitivity by ParametricityProceedings of the ACM on Programming Languages10.1145/36897268:OOPSLA2(415-441)Online publication date: 8-Oct-2024
- Toro MOlmedo FTanter É(2024)Gradual Differentially Private ProgrammingCommunications of the ACM10.1145/365332867:8(49-53)Online publication date: 18-Jul-2024
- Show More Cited By