CMPS 203 Seminar- DPella: A Programming Framework for Differential Privacy with Accuracy

Speaker Name: 
Alejandro Russo
Speaker Title: 
Professor
Speaker Organization: 
Chalmers University of Technology
Start Time: 
Thursday, May 9, 2019 - 1:30pm
End Time: 
Thursday, May 9, 2019 - 2:30pm
Location: 
Social Sciences 2, Room 71
Organizer: 
Cormac Flanagan

Title: DPella: A Programming Framework for Differential Privacy with Accuracy

Bio:

Alejandro Russo is a professor at Chalmers University of Technology working on the intersection of functional languages, security, and systems. His research ranges from foundational aspects of security to developing tools to secure software written in Haskell, Python, and JavaScript. Professor Russo worked on prestigious research institutions like Stanford University, where he was appointed visiting associate professor back in 2013-2015.


Abstact:

Differential privacy (DP) is a notion that rigorously captures privacy guarantees. It allows to reason about the trade-offs of adding noise to a query in order  to protect the privacy of individuals, while allowing to mine useful insights  from it -- a notion known as utility of data. Most prominent DP tools either neglect utility, provide conservative estimations of it, or severely restrict the kind of queries possible to perform. In this talk, I will present DPella, programming framework where data analyst can reason about the trade-offs between privacy and utility of queries. DPella is implemented as a library in the functional programming language Haskell. Different from existing tools, DPella improves utility estimations based on statistical independence, i.e., that the result of a query does not  affect the occurrence of another one. For that, we propose the novel idea to apply information-flow control technique-- originally designed to protect confidentiality of data. DPella also avoids data analyst from accidentally leaking sensitive data. It achieves that by enforcing confinement of  sensitive data and that all released data occurs via DPella's DP mechanism.

This talk is based on a work-in-progress with Elisabet Lobo-Vesga, Marco Gaboardi, and Gilles Barthe.