Formal Verification of Differential Privacy

Prof. Marco Gaboardi - University at Buffalo, SUNY

Dec. 7, 2018, 2:30 p.m. - Dec. 7, 2018, 3:30 p.m.

Trottier 2100

Hosted by: Prof. Brigitte Pientka

Speaker Bio: Marco Gaboardi is an assistant professor at the University at Buffalo, SUNY. Previously, he was a faculty at the University of Dundee, Scotland. He received his PhD from the University of Torino, Italy, and the Institute National Polytechnique de Lorraine, France. He was a visitor scholar at the University of Pennsylvania and at Harvard’s CRCS center, and recipient of a EU Marie Curie Fellowship. His research is in programming language design and implementation, and in differential privacy.


Abstract: Differential Privacy offers ways to answer statistical queries about sensitive data while providing strong provable privacy guarantees ensuring that the presence or absence of a single individual in the data has a negligible statistical effect on the query's result. In this talk I will introduce the basics of differential privacy and some of the fundamental mechanisms for building differentially private programs. I will then overview few different language-based approaches developed to help a programmer to certify her programs differentially private and to guarantee that they provide accurate answers.