Lujo Bauer

2008
15	EE	Robert W. Reeder, Lujo Bauer, Lorrie Faith Cranor, Michael K. Reiter, Kelli Bacon, Keisha How, Heather Strong: Expandable grids for visualizing and authoring computer security policies. CHI 2008: 1473-1482
14	EE	Lujo Bauer, Lorrie Faith Cranor, Robert W. Reeder, Michael K. Reiter, Kami Vaniea: A user study of policy creation in a flexible access-control system. CHI 2008: 543-552
13	EE	Lujo Bauer, Scott Garriss, Michael K. Reiter: Detecting and resolving policy misconfigurations in access-control systems. SACMAT 2008: 185-194
2007
12	EE	Lujo Bauer, Scott Garriss, Michael K. Reiter: Efficient Proving for Practical Distributed Access-Control Systems. ESORICS 2007: 19-37
11	EE	Lujo Bauer, Lorrie Faith Cranor, Michael K. Reiter, Kami Vaniea: Lessons learned from the deployment of a smartphone-based access-control system. SOUPS 2007: 64-75
2006
10	EE	Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter: A Linear Logic of Authorization and Knowledge. ESORICS 2006: 297-312
2005
9	EE	Jay Ligatti, Lujo Bauer, David Walker: Enforcing Non-safety Security Policies with Program Monitors. ESORICS 2005: 355-373
8	EE	Lujo Bauer, Scott Garriss, Michael K. Reiter: Distributed Proving in Access-Control Systems. IEEE Symposium on Security and Privacy 2005: 81-95
7	EE	Lujo Bauer, Scott Garriss, Jonathan M. McCune, Michael K. Reiter, Jason Rouse, Peter Rutenbar: Device-Enabled Authorization in the Grey-System. ISC 2005: 431-445
6	EE	Lujo Bauer, Jay Ligatti, David Walker: Composing security policies with polymer. PLDI 2005: 305-314
5	EE	Jay Ligatti, Lujo Bauer, David Walker: Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Sec. 4(1-2): 2-16 (2005)
2003
4	EE	Lujo Bauer, Michael A. Schneider, Edward W. Felten, Andrew W. Appel: Access Control on the Web Using Proof-carrying Authorization. DISCEX (2) 2003: 117-119
3		Lujo Bauer, Andrew W. Appel, Edward W. Felten: Mechanisms for secure modular programming in Java. Softw., Pract. Exper. 33(5): 461-480 (2003)
2002
2	EE	Lujo Bauer, Jarred Ligatti, David Walker: Types and Effects for Non-interfering Program Monitors. ISSS 2002: 154-171
1	EE	Lujo Bauer, Michael A. Schneider, Edward W. Felten: A General and Flexible Access-Control System for the Web. USENIX Security Symposium 2002: 93-108

Coauthor Index

1	Andrew W. Appel	[3] [4]
2	Kelli Bacon	[15]
3	Kevin D. Bowers	[10]
4	Lorrie Faith Cranor	[11] [14] [15]
5	Edward W. Felten	[1] [3] [4]
6	Deepak Garg	[10]
7	Scott Garriss	[7] [8] [12] [13]
8	Keisha How	[15]
9	Jarred Ligatti	[2]
10	Jay Ligatti	[5] [6] [9]
11	Jonathan M. McCune	[7]
12	Frank Pfenning	[10]
13	Robert W. Reeder	[14] [15]
14	Michael K. Reiter	[7] [8] [10] [11] [12] [13] [14] [15]
15	Jason Rouse	[7]
16	Peter Rutenbar	[7]
17	Michael A. Schneider	[1] [4]
18	Heather Strong	[15]
19	Kami Vaniea	[11] [14]
20	David Walker	[2] [5] [6] [9]