| Department | Electrical and Computer Engineering |
|---|---|
| Office | 2121 Collaborative Innovation Center |
| Telephone | (412)-268-9745 |
| Fax | (412)-268-6779 |
| lbauer@cmu.edu | |
| Website | http://www.ece.cmu.edu/~lbauer/ |
Lujo Bauer's research interests are in computer security -- he is 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. Topics that Lujo is currently actively studying include distributed access control, proof-carrying authorization, program monitors, security automata, and languages for specifying security policies.

Carnegie Mellon, 2005
Computer security, access control, program monitoring, security automata, policy specification
PhD, 2003
Computer Science
Princeton University
MA, 1999
Computer Science
Princeton University
BS, 1997
Computer Science
Yale University