Search results for "Andrew C. Myers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Aslan Askarov, Andrew C. Myers	Attacker Control and Impact for Confidentiality and Integrity	Logical Methods in Computer Science	2011	DBLP DOI BibTeX RDF
1	Danfeng Zhang, Aslan Askarov, Andrew C. Myers	Predictive mitigation of timing channels in interactive systems.	ACM Conference on Computer and Communications Security	2011	DBLP DOI BibTeX RDF
1	Andrew C. Myers	Using Security Policies to Write Secure Software.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
1	Andrew C. Myers	Toward Securely Programming the Internet.	ICISS	2010	DBLP DOI BibTeX RDF
1	Xin Qi, Andrew C. Myers	Homogeneous family sharing.	OOPSLA	2010	DBLP DOI BibTeX RDF
1	Aslan Askarov, Danfeng Zhang, Andrew C. Myers	Predictive black-box mitigation of timing channels.	ACM Conference on Computer and Communications Security	2010	DBLP DOI BibTeX RDF
1	Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider	Quantifying information flow with beliefs.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng	Building secure web applications with automatic partitioning.	Commun. ACM	2009	DBLP DOI BibTeX RDF
1	Xin Qi, Andrew C. Myers	Sharing classes between families.	PLDI	2009	DBLP DOI BibTeX RDF	family inheritance, masked types, views
1	Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers	Fabric: a platform for secure distributed computation and storage.	SOSP	2009	DBLP DOI BibTeX RDF	security, distributed systems, transactions, information flow
1	Xin Qi, Andrew C. Myers	Masked types for sound object initialization.	POPL	2009	DBLP DOI BibTeX RDF	conditional masks, cyclic data structures, null pointer exceptions, invariants, data abstraction
1	Alan Shieh, Andrew C. Myers, Emin Gün Sirer	A stateless approach to connection-oriented protocols.	ACM Trans. Comput. Syst.	2008	DBLP DOI BibTeX RDF	Stateless interfaces, stateless protocols
1	Michael R. Clarkson, Stephen Chong, Andrew C. Myers	Civitas: Toward a Secure Voting System.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	verifiable elections, voter registration, secure bulletin boards, cryptographic protocols, Electronic voting, coercion resistance
1	Lantian Zheng, Andrew C. Myers	Securing nonintrusive web encryption through information flow.	PLAS	2008	DBLP DOI BibTeX RDF	encryption, type system, information flow control
1	Stephen Chong, Andrew C. Myers	End-to-End Enforcement of Erasure and Declassification.	CSF	2008	DBLP DOI BibTeX RDF	Erasure, Expressive security policies, Information flow, Language-based security, Noninterference, Declassification
1	Lantian Zheng, Andrew C. Myers	Dynamic security labels and static information flow control.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF
1	Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng	Secure web application via automatic partitioning.	SOSP	2007	DBLP DOI BibTeX RDF	compilers, information flow, security policies
1	Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld	07091 Executive Summary - Mobility, Ubiquity and Security.	Mobility, Ubiquity and Security	2007	DBLP BibTeX RDF
1	Michael E. Clarkson, Stephen Chong, Andrew C. Myers	Civitas: A Secure Remote Voting System.	Frontiers of Electronic Voting	2007	DBLP BibTeX RDF
1	Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld (eds.)	Mobility, Ubiquity and Security, 25.02. - 02.03.2007	Mobility, Ubiquity and Security	2007	DBLP BibTeX RDF
1	Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld	07091 Abstracts Collection - Mobility, Ubiquity and Security.	Mobility, Ubiquity and Security	2007	DBLP BibTeX RDF
1	Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic	Enforcing Robust Declassification and Qualified Robustness.	Journal of Computer Security	2006	DBLP BibTeX RDF
1	Jed Liu, Aaron Kimball, Andrew C. Myers	Interruptible iterators.	POPL	2006	DBLP DOI BibTeX RDF	JMatch, Java, logic programming, exception, coroutine
1	Stephen Chong, Andrew C. Myers	Decentralized Robustness.	CSFW	2006	DBLP DOI BibTeX RDF
1	Nathaniel Nystrom, Xin Qi, Andrew C. Myers	J&: nested intersection for scalable software composition.	OOPSLA	2006	DBLP DOI BibTeX RDF	nested inheritance, nested intersection, compilers
1	Alan Shieh, Andrew C. Myers, Emin Gün Sirer	Trickles: A Stateless Network Stack for Improved Scalability, Resilience, and Flexibility.	NSDI	2005	DBLP BibTeX RDF
1	Stephen Chong, Andrew C. Myers	Language-Based Information Erasure.	CSFW	2005	DBLP DOI BibTeX RDF
1	Lantian Zheng, Andrew C. Myers	End-to-End Availability Policies and Noninterference.	CSFW	2005	DBLP DOI BibTeX RDF
1	Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider	Belief in Information Flow.	CSFW	2005	DBLP DOI BibTeX RDF
1	Andrew C. Myers	Making distributed systems secure with program analysis and transformation.	PASTE	2005	DBLP DOI BibTeX RDF
1	Chavdar Botev, Hubert Chao, Theodore Chao, Yim Cheng, Raymond Doyle, Sergey Grankin, Jon Guarino, Saikat Guha, Pei-Chen Lee, Dan Perry, Christopher Re, Ilya Rifkin, Tingyan Yuan, Dora Abdullah, Kathy Carpenter, David Gries, Dexter Kozen, Andrew C. Myers, David I. Schwartz, Jayavel Shanmugasundaram	Supporting workflow in a course management system.	SIGCSE	2005	DBLP DOI BibTeX RDF	education, courseware
1	Andrew C. Myers	Programming with Explicit Security Policies.	ESOP	2005	DBLP DOI BibTeX RDF
1	Lantian Zheng, Andrew C. Myers	Dynamic Security Labels and Noninterference (Extended Abstract).	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
1	Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic	Enforcing Robust Declassification.	CSFW	2004	DBLP DOI BibTeX RDF
1	Nathaniel Nystrom, Stephen Chong, Andrew C. Myers	Scalable extensibility via nested inheritance.	OOPSLA	2004	DBLP DOI BibTeX RDF	nested classes, inheritance, object-oriented programming languages, virtual classes
1	Stephen Chong, Andrew C. Myers	Security policies for downgrading.	ACM Conference on Computer and Communications Security	2004	DBLP DOI BibTeX RDF	information flow, security policies, noninterference, declassification, downgrading
1	Andrei Sabelfeld, Andrew C. Myers	Language-based information-flow security.	IEEE Journal on Selected Areas in Communications	2003	DBLP DOI BibTeX RDF
1	Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic	Using Replication and Partitioning to Build Secure Distributed Systems.	IEEE Symposium on Security and Privacy	2003	DBLP DOI BibTeX RDF
1	Jed Liu, Andrew C. Myers	JMatch: Iterable Abstract Pattern Matching for Java.	PADL	2003	DBLP DOI BibTeX RDF
1	Steve Zdancewic, Andrew C. Myers	Observational Determinism for Concurrent Program Security.	CSFW	2003	DBLP DOI BibTeX RDF
1	Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers	Polyglot: An Extensible Compiler Framework for Java.	CC	2003	DBLP DOI BibTeX RDF
1	Andrei Sabelfeld, Andrew C. Myers	A Model for Delimited Information Release.	ISSS	2003	DBLP DOI BibTeX RDF	Computer security, information flow, security policies, confidentiality, noninterference, declassification, security-type systems
1	Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers	Secure program partitioning.	ACM Trans. Comput. Syst.	2002	DBLP DOI BibTeX RDF	mutual distrust, distributed systems, integrity, type systems, security policies, Confidentiality, secrecy, declassification, downgrading
1	Steve Zdancewic, Andrew C. Myers	Secure Information Flow via Linear Continuations.	Higher-Order and Symbolic Computation	2002	DBLP DOI BibTeX RDF
1	Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers	Untrusted Hosts and Confidentiality: Secure Program Partitioning.	SOSP	2001	DBLP DOI BibTeX RDF
1	Steve Zdancewic, Andrew C. Myers	Robust Declassification. (PDF / PS)	CSFW	2001	DBLP DOI BibTeX RDF
1	Andrew C. Myers	Security-Typed Languages and Distributed Computation.	SAS	2001	DBLP DOI BibTeX RDF
1	Steve Zdancewic, Andrew C. Myers	Secure Information Flow and CPS.	ESOP	2001	DBLP DOI BibTeX RDF
1	Andrew C. Myers, Barbara Liskov	Protecting privacy using the decentralized label model.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	principals, integrity, policies, lattice, confidentiality, roles, type checking, information flow controls, declassification, end-to-end, downgrading
1	Andrew C. Myers	JFlow: Practical Mostly-Static Information Flow Control.	POPL	1999	DBLP DOI BibTeX RDF	Java
1	Andrew C. Myers, Barbara Liskov	Complete, Safe Information Flow with Decentralized Labels.	IEEE Symposium on Security and Privacy	1998	DBLP DOI BibTeX RDF
1	Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers	HAC: Hybrid Adaptive Caching for Distributed Storage Systems.	SOSP	1997	DBLP DOI BibTeX RDF
1	Andrew C. Myers, Barbara Liskov	A Decentralized Model for Information Flow Control.	SOSP	1997	DBLP DOI BibTeX RDF
1	Andrew C. Myers, Joseph A. Bank, Barbara Liskov	Parameterized Types for Java.	POPL	1997	DBLP DOI BibTeX RDF	Java
1	Barbara Liskov, Atul Adya, Miguel Castro, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew C. Myers, Liuba Shrira	Safe and Efficient Sharing of Persistent Objects in Thor.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
1	Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers	Subtypes vs. Where Clauses: Constraining Parametric Polymorphism.	OOPSLA	1995	DBLP DOI BibTeX RDF
1	Andrew C. Myers	Bidirectional Object Layout for Separate Compilation.	OOPSLA	1995	DBLP DOI BibTeX RDF
1	Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers	References to Remote Mobile Objects in Thor.	LOPLAS	1993	DBLP DOI BibTeX RDF	distributed object-oriented database, location-dependent reference, location-independent reference, object mobility, object reference, scalability, naming, distributed object management, addressing, object migration
1	Andrew C. Myers	Resolving the Integrity/Performance Conflict.	Workshop on Workstation Operating Systems	1993	DBLP BibTeX RDF

Publications of "Andrew C. Myers" ( http://dblp.L3S.de/Authors/Andrew_C._Myers )