Associate Professor of Electrical and Computer Engineering and Computer Science, Carnegie Mellon University

I do research on many aspects of computer security. I'm particularly interested in building usable access-control systems with sound theoretical underpinnings, and generally in narrowing the gap between a formal model and a usable system. Key terms: proof-carrying authorization, distributed access control, program monitors, security automata, languages for specifying security policies, usable security.

Experience

  • –present
    Associate Professor of Electrical and Computer Engineering, Carnegie Mellon University