Proving that Programs Are Differentially Private
No abstract available.
Related papers
- Coupled Relational Symbolic Execution for Differential Privacy ESOP 2021
- Model Checking Differentially Private Properties APLAS 2018
- Distance makes the types grow stronger: a calculus for differential privacy ICFP 2010
- Synthesizing differentially private programs ICFP 2019
- Fuzzi: a three-level logic for differential privacy ICFP 2019
- Differentially Private Runtime Monitoring CAV 2026
- Differentially-private software frequency profiling under linear constraints OOPSLA 2020
- Testing differential privacy with dual interpreters OOPSLA 2020