Research

The goal of my research is to make it possible to reason about the security of systems. I seek to identify principles and methods for defining security and for building systems that offer security assurance. I employ mathematical models, programming language theory, and logics. I build real systems and analyze their security. I'm specifically interested in the following areas:

Publications and talks: Complete list of my publications.

Teaching

Seminars:

Professional Activites

Software

Awards