My research is primarily focused on investigating long-term, fundamental improvements in how to design and build secure systems. As a result, my work combines theory and practice to provide formal, rigorous security guarantees about concrete systems, with an emphasis on creating solid foundations for practical solutions.
I am an Associate Professor with a joint appointment in CMU's Computer Science Department and Electrical & Computer Engineering Department.