|Office||2121 Collaborative Innovation Center|
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