Principles of Security and Privacy
Our research interests lie in the areas of programming languages and program verification, software and system security, cryptography, formal methods and logic. Our goal is to develop foundations and tools for reasoning about security and privacy properties of algorithms and implementations. Our recent work focuses on building relational verification methods for probabilistic programs and on their applications in cryptography and privacy. We are also interested in provably secure countermeasures against side-channel attacks.