Marco Gaboardi. Formal Verification of Differential Privacy. In Mário S. Alvim, Stéphanie Delaune, editors, Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018. pages 1, ACM, 2018. [doi]