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

Not registered as user yet

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

Personal website: https://www.ece.cmu.edu/~lbauer/

Contributions

ETAPS 2019Committee Member in Steering Committee
Show activities from other conferences

ETAPS 2019-profile
View general profile