1. Aws Albarghouthi and Justin Hsu. 2017. Synthesizing coupling proofs of differential privacy. Proceedings of the ACM on Programming Languages, 2, POPL, 1--30.
2. Önder Askin Tim Kutta and Holger Dette. 2021. Statistical quantification of differential privacy: A local approach. CoRR abs/2108.09528. https://arxiv.org /abs/2108.09528 arXiv: 2108.09528.
3. Borja Balle and Yu-Xiang Wang. 2018. Improving the gaussian mechanism for differential privacy: analytical calibration and optimal denoising. In International Conference on Machine Learning. PMLR, 394--403.
4. Deciding Differential Privacy for Programs with Finite Inputs and Outputs
5. Verified Computational Differential Privacy with Applications to Smart Metering