ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Lujo Bauer

Not registered as user

Name:Lujo Bauer
Bio:

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

Contributions

Show activities from other conferences

ETAPS 2019-profile
View general profile