Programming and Verification Frameworks for Differential Privacy

Several programming and verification tools have been introduced to support developers in writing correct differentially private software applications. 

Programming frameworks for differential privacy support the design and implementation of differentially private applications by providing building blocks in the form of basic mechanisms and methods to combine them.

Verification frameworks for differential privacy provide tools to check the correctness of differentially private algorithms and implementation through automated or semi-automated techniques.

In this talk, we will survey some of the common ideas underlying these frameworks, showing connections between programming and verification for differential privacy, and relating some of these ideas to the ones studied in other areas of computer security.

Marco Gaboardi is a Professor in Computer Science at Boston University and Chief Scientist at DPella AB. Before joining Boston University, he was an Assistant Professor in Computer Science and Engineering at the University at Buffalo, SUNY, and before that he was a Lecturer at the University of Dundee, UK. Marco received his PhD from the University of Torino, Italy, and the Institute National Polytechnique de Lorraine, France. Marco’s research is in programming languages, formal verification, and in differential privacy. He has been a visiting scholar at the University of Pennsylvania, at Harvard University’s CRCS center, and at the Simons Institute for the Theory of Computing, UC Berkeley. He is a past recipient of an EU Marie Curie Fellowship, an NSF CAREER Award, a Caspar Bowden Award for Outstanding Research in Privacy Enhancing Technologies, and a Google Research Award.