Formal Verification of Differential Privacy

Published:2018-11-20 

Title:          Formal Verification of Differential Privacy

Time:      10:00, November 23 Friday,2018
Location:   Room 504, Science BuildingB
Lecturer:  Marco Gaboardi  Assistant professor, University at Buffalo, SUNY

 

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.

 

Biography:
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.

 

School of Software Engineering
www.sei.ecnu.edu.cn Copyright Software Engineering Institute
E-mail:yuanzhang@sei.ecnu.edu.cn | Tel:021-62232550 | Address:Zhongshan North Road 3663, Shanghai