Programming and verification frameworks for differential privacy

Staff - Faculty of Informatics

Date: 23 May 2023 / 13:15 - 14:15

USI Campus EST, sector D, room D0.02

Speaker: Marco Gaboardi, Boston University

Abstract:
Differential Privacy is a formal notion of data privacy that has found application in the public and private sectors. It 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 first introduce the basics of differential privacy, some of the fundamental mechanisms for building differentially private programs, and some applications that use differential privacy. I will then overview a few language-based approaches developed to help programmers to guarantee their differentially private programs.

Biography: Marco Gaboardi is an Associate Professor in Computer Science at Boston University. Before joining Boston University, he has been on the faculty at the University at Buffalo, SUNY, and at the University of Dundee, UK. Marco received his PhD from the University of Torino, Italy, and the Institute National Polytechnique de Lorraine, France. 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 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. Marco's research is in programming languages, formal verification, and in differential privacy.

Host: Prof. Patrick Eugster

Faculties

Events
22
July
2024
22.
07.
2024
30
July
2024
30.
07.
2024
01
August
2024
01.
08.
2024
13
August
2024
13.
08.
2024

Cinema and Audiovisual Futures Conference 2024

Faculty of Communication, Culture and Society

The Future of Survival Public Event: AI and Generative humanity

Faculty of Communication, Culture and Society
14
August
2024
14.
08.
2024

The Future of Survival Public Event: Digital Migrations

Faculty of Communication, Culture and Society