Model Checking Differentially Private Properties
No abstract available.
Related papers
- Fuzzi: a three-level logic for differential privacy ICFP 2019
- Proving that Programs Are Differentially Private APLAS 2019
- Automatic differentiation of parallel loops with formal methods PPoPP 2022
- Synthesizing differentially private programs ICFP 2019
- Array Data-Flow Analysis and its Use in Array Privatization POPL 1993
- Differentially Private Runtime Monitoring CAV 2026
- Differentially-private software frequency profiling under linear constraints OOPSLA 2020
- A Programming Language for Data Privacy with Accuracy Estimations TOPLAS 2021