Lujo Bauer

	2009
20		Lujo Bauer, Lorrie Faith Cranor, Robert W. Reeder, Michael K. Reiter, Kami Vaniea: Real life challenges in access-control management. CHI 2009: 899-908
19		Lujo Bauer, Limin Jia, Michael K. Reiter, David Swasey: xDomain: cross-border proofs of access. SACMAT 2009: 43-52
18		Jay Ligatti, Lujo Bauer, David Walker: Run-Time Enforcement of Nonsafety Policies. ACM Trans. Inf. Syst. Secur. 12(3): (2009)
17		Lujo Bauer, Jay Ligatti, David Walker: Composing expressive runtime security policies. ACM Trans. Softw. Eng. Methodol. 18(3): (2009)
	2008
16		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
15		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
14		Lujo Bauer, Scott Garriss, Michael K. Reiter: Detecting and resolving policy misconfigurations in access-control systems. SACMAT 2008: 185-194
	2007
13		Lujo Bauer, Scott Garriss, Michael K. Reiter: Efficient Proving for Practical Distributed Access-Control Systems. ESORICS 2007: 19-37
12		Kevin D. Bowers, Lujo Bauer, Deepak Garg, Frank Pfenning, Michael K. Reiter: Consumable Credentials in Linear-Logic-Based Access-Control Systems. NDSS 2007
11		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		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		Jay Ligatti, Lujo Bauer, David Walker: Enforcing Non-safety Security Policies with Program Monitors. ESORICS 2005: 355-373
8		Lujo Bauer, Scott Garriss, Michael K. Reiter: Distributed Proving in Access-Control Systems. IEEE Symposium on Security and Privacy 2005: 81-95
7		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		Lujo Bauer, Jay Ligatti, David Walker: Composing security policies with polymer. PLDI 2005: 305-314
5		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		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		Lujo Bauer, Jarred Ligatti, David Walker: Types and Effects for Non-interfering Program Monitors. ISSS 2002: 154-171
1		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	[16]
3	Kevin D. Bowers	[10] [12]
4	Lorrie Faith Cranor	[11] [15] [16] [20]
5	Edward W. Felten	[1] [3] [4]
6	Deepak Garg	[10] [12]
7	Scott Garriss	[7] [8] [13] [14]
8	Keisha How	[16]
9	Limin Jia	[19]
10	Jay Ligatti (Jarred Ligatti)	[2] [5] [6] [9] [17] [18]
11	Jonathan M. McCune	[7]
12	Frank Pfenning	[10] [12]
13	Robert W. Reeder	[15] [16] [20]
14	Michael K. Reiter	[7] [8] [10] [11] [12] [13] [14] [15] [16] [19] [20]
15	Jason Rouse	[7]
16	Peter Rutenbar	[7]
17	Michael A. Schneider	[1] [4]
18	Heather Strong	[16]
19	David Swasey	[19]
20	Kami Vaniea	[11] [15] [20]
21	David Walker	[2] [5] [6] [9] [17] [18]