Privacy and Automated Verification - Aws Albarghouthi

Workshop on Dependable and Secure Software Systems 2019

Algorithms consume our personal data and make decisions that affect our lives. How can we make sure that these algorithms do not leak our private data? How do we make sure they are fair? Over the past few years, we have been exploring this question through the lens of automated verification and synthesis. In this talk, I will discuss automated techniques for proving the correctness of randomized algorithms and apply them to differentially private mechanisms, which have seen numerous applications in privacy-preserving data analysis as well as ensuring forms of fairness in decision-making. Technically, I will demonstrate how powerful SMT solvers, which revolutionized automated verification of traditional programs, can be applied to reasoning about randomized algorithms.

Albarghouthi