Research

The goal of my research is to make it possible to build secure 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.

Seminars:

Software:

Teaching

Advising

Professional Activites

Awards: