Search results for "Lujo Bauer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Lujo Bauer, Yuan Liang, Michael K. Reiter, Chad Spensky	Discovering access-control misconfigurations: new approaches and evaluation methodologies.	CODASPY	2012	DBLP DOI BibTeX RDF
1	Peter F. Klemperer, Yuan Liang, Michelle L. Mazurek, Manya Sleeper, Blase Ur, Lujo Bauer, Lorrie Faith Cranor, Nitin Gupta, Michael K. Reiter	Tag, you can see it!: using tags for access control in photo sharing.	CHI	2012	DBLP DOI BibTeX RDF
1	Tiffany Hyun-Jin Kim, Lujo Bauer, James Newsome, Adrian Perrig, Jesse Walker	Access right assignment mechanisms for secure home networks.	Journal of Communications and Networks	2011	DBLP DOI BibTeX RDF
1	Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò	Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning".	J. Autom. Reasoning	2011	DBLP DOI BibTeX RDF
1	Lujo Bauer, Scott Garriss, Michael K. Reiter	Detecting and resolving policy misconfigurations in access-control systems.	ACM Trans. Inf. Syst. Secur.	2011	DBLP DOI BibTeX RDF
1	Ahren Studer, Timothy Passaro, Lujo Bauer	Don't Bump, Shake on It: the exploitation of a popular accelerometer-based smart phone exchange and its secure replacement.	ACSAC	2011	DBLP DOI BibTeX RDF
1	Michelle L. Mazurek, Peter F. Klemperer, Richard Shay, Hassan Takabi, Lujo Bauer, Lorrie Faith Cranor	Exploring reactive access control.	CHI	2011	DBLP DOI BibTeX RDF
1	Robert W. Reeder, Lujo Bauer, Lorrie Faith Cranor, Michael K. Reiter, Kami Vaniea	More than skin deep: measuring effects of the underlying model on access-control system usability.	CHI	2011	DBLP DOI BibTeX RDF
1	Saranga Komanduri, Richard Shay, Patrick Gage Kelley, Michelle L. Mazurek, Lujo Bauer, Nicolas Christin, Lorrie Faith Cranor, Serge Egelman	Of passwords and people: measuring the effect of password-composition policies.	CHI	2011	DBLP DOI BibTeX RDF
1	Richard Shay, Saranga Komanduri, Patrick Gage Kelley, Pedro Giovanni Leon, Michelle L. Mazurek, Lujo Bauer, Nicolas Christin, Lorrie Faith Cranor	Encountering stronger password requirements: user attitudes and behaviors.	SOUPS	2010	DBLP DOI BibTeX RDF	security, usability, policy, survey, passwords
1	Lujo Bauer, Limin Jia, Divya Sharma	Constraining Credential Usage in Logic-Based Access Control.	CSF	2010	DBLP DOI BibTeX RDF	Access control, Logic, Computer security, Formal languages
1	Lujo Bauer, Adam J. Lee	Solving the access-control puzzle: finding the pieces and putting them together.	SACMAT	2010	DBLP DOI BibTeX RDF	models, access control, authorization, credentials, policy languages
1	Michelle L. Mazurek, J. P. Arsenault, Joanna Bresee, Nitin Gupta, Iulia Ion, Christina Johns, Daniel Lee, Yuan Liang, Jenny Olsen, Brandon Salmon, Richard Shay, Kami Vaniea, Lujo Bauer, Lorrie Faith Cranor, Gregory R. Ganger, Michael K. Reiter	Access control for home data sharing: evaluating social acceptability.	CHI	2010	DBLP DOI BibTeX RDF	security, privacy, access control, home computing
1	Lujo Bauer, Jay Ligatti, David Walker	Composing expressive runtime security policies.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	policy-specification language, policy enforcement, Policy composition
1	Jay Ligatti, Lujo Bauer, David Walker	Run-Time Enforcement of Nonsafety Policies.	ACM Trans. Inf. Syst. Secur.	2009	DBLP DOI BibTeX RDF	monitoring, safety, Security policies, liveness, policy enforcement, security automata
1	Lujo Bauer, Limin Jia, Michael K. Reiter, David Swasey	xDomain: cross-border proofs of access.	SACMAT	2009	DBLP DOI BibTeX RDF	logic-based access control, trust management, distributed authorization
1	Lujo Bauer, Lorrie Faith Cranor, Robert W. Reeder, Michael K. Reiter, Kami Vaniea	Real life challenges in access-control management.	CHI	2009	DBLP DOI BibTeX RDF	policy creation, access control
1	Lujo Bauer, Scott Garriss, Michael K. Reiter	Detecting and resolving policy misconfigurations in access-control systems.	SACMAT	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	discresionary access control, policy creation, access control, smartphones, distributed access control
1	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	DBLP DOI BibTeX RDF	expandable grid, file permissions, security, visualization, privacy
1	Lujo Bauer, Lorrie Faith Cranor, Michael K. Reiter, Kami Vaniea	Lessons learned from the deployment of a smartphone-based access-control system.	SOUPS	2007	DBLP DOI BibTeX RDF	security, usability, mobile computing, access control, smartphones
1	Lujo Bauer, Scott Garriss, Michael K. Reiter	Efficient Proving for Practical Distributed Access-Control Systems.	ESORICS	2007	DBLP DOI BibTeX RDF
1	Kevin D. Bowers, Lujo Bauer, Deepak Garg, Frank Pfenning, Michael K. Reiter	Consumable Credentials in Linear-Logic-Based Access-Control Systems.	NDSS	2007	DBLP BibTeX RDF
1	Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter	A Linear Logic of Authorization and Knowledge.	ESORICS	2006	DBLP DOI BibTeX RDF
1	Jay Ligatti, Lujo Bauer, David Walker	Edit automata: enforcement mechanisms for run-time security policies.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Run-time checking and monitoring, Classification of security policies, Language-based security, Security automata
1	Lujo Bauer, Scott Garriss, Michael K. Reiter	Distributed Proving in Access-Control Systems.	IEEE Symposium on Security and Privacy	2005	DBLP DOI BibTeX RDF
1	Lujo Bauer, Jay Ligatti, David Walker	Composing security policies with polymer.	PLDI	2005	DBLP DOI BibTeX RDF	composable security policies, run-time enforcement, security automata, program monitors, edit automata
1	Lujo Bauer, Scott Garriss, Jonathan M. McCune, Michael K. Reiter, Jason Rouse, Peter Rutenbar	Device-Enabled Authorization in the Grey-System.	ISC	2005	DBLP DOI BibTeX RDF
1	Jay Ligatti, Lujo Bauer, David Walker	Enforcing Non-safety Security Policies with Program Monitors.	ESORICS	2005	DBLP DOI BibTeX RDF
1	Lujo Bauer, Andrew W. Appel, Edward W. Felten	Mechanisms for secure modular programming in Java.	Softw., Pract. Exper.	2003	DBLP DOI BibTeX RDF
1	Lujo Bauer, Michael A. Schneider, Edward W. Felten, Andrew W. Appel	Access Control on the Web Using Proof-carrying Authorization.	DISCEX	2003	DBLP DOI BibTeX RDF
1	Lujo Bauer, Michael A. Schneider, Edward W. Felten	A General and Flexible Access-Control System for the Web.	USENIX Security Symposium	2002	DBLP BibTeX RDF
1	Lujo Bauer, Jarred Ligatti, David Walker	Types and Effects for Non-interfering Program Monitors.	ISSS	2002	DBLP DOI BibTeX RDF

Publications of "Lujo Bauer" ( http://dblp.L3S.de/Authors/Lujo_Bauer )