Lujo Bauer

Not registered as user yet

Name:Lujo Bauer

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.

Country:United States
Affiliation:Carnegie Mellon University


ETAPS 2019 Committee Member in Steering Committee