Visiting Scholar Marco Gaboardi spoke at the Harvard Theory of Computation Seminar. He will present, "Relational verification of Differential Privacy and Mechanism Design" to a theory audience.
-------------------------------------------------
Speaker: Marco Gaboardi, University of Dundee and Visiting Scholar at Harvard CRCS
Place and Time: Monday, March 9, 2015 – 1:00pm to 2:30pm.
Room: Brooks Room (Pierce Hall 213)
Title: Relational verification of Differential Privacy and Mechanism Design...for a theory audience
Abstracts: Programming language research has developed a wide collection of techniques useful for reasoning about different correctness properties of programs. Some of these techniques can be tailored to formally verify differential privacy, and mechanism design properties like bayesian incentive compatibility. In this talk I will introduce the basic ingredient of these techniques by emphasizing the reasoning principles they capture and why they are useful for reasoning about differential privacy and mechanism design. I will also discuss the limitations of this approach and the motivations for further works in this area.