Access to Devices and Spaces
Secure Home Computing
Current Projects:
The Grey Project: Device-Enabled Authorization
Composing expressive run-time security policies.
Lujo Bauer, Jay Ligatti, and David Walker.
ACM Transactions on Software Engineering and Methodology, 2008. To appear. [BibTeX]
Detecting and resolving policy misconfigurations in access-control systems.
Lujo Bauer, Scott Garriss, and Michael K. Reiter.
In Proceedings of the 13th ACM Symposium on Access Control Models and Technologies, pages 185–194, June 2008. © ACM DOI:10.1145/1377836.1377866 [BibTeX]
[email]
lujo Bauer is a Research Scientist with Cylab. Bauer's research interests include computer security— 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.
PhD, 2003, Computer Science, Princeton University
MA, 1999, Computer Science, Princeton University
BS, 1997, Computer Science, Yale University