Andrew C. Myers

Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers: StatusQuo: Making Familiar Abstractions Perform Using Program Analysis. CIDR 2013

Andrew C. Myers: How languages can save distributed computing. POPL 2013: 315-316

Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers: Automatic Partitioning of Database Applications. PVLDB 5(11): 1471-1482 (2012)

Danfeng Zhang, Aslan Askarov, Andrew C. Myers: Language-based control and mitigation of timing channels. PLDI 2012: 99-110

Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, Andrew C. Myers: Sharing Mobile Code Securely with Information Flow Control. IEEE Symposium on Security and Privacy 2012: 191-205

Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers: Automatic Partitioning of Database Applications. CoRR abs/1208.0271 (2012)

Aslan Askarov, Andrew C. Myers: Attacker Control and Impact for Confidentiality and Integrity. Logical Methods in Computer Science 7(3) (2011)

Danfeng Zhang, Aslan Askarov, Andrew C. Myers: Predictive mitigation of timing channels in interactive systems. ACM Conference on Computer and Communications Security 2011: 563-574

Aslan Askarov, Danfeng Zhang, Andrew C. Myers: Predictive black-box mitigation of timing channels. ACM Conference on Computer and Communications Security 2010: 297-307

Andrew C. Myers: Toward Securely Programming the Internet. ICISS 2010: 27

Xin Qi, Andrew C. Myers: Homogeneous family sharing. OOPSLA 2010: 520-538

Andrew C. Myers: Using Security Policies to Write Secure Software. Logics and Languages for Reliability and Security 2010: 225-261

Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng: Building secure web applications with automatic partitioning. Commun. ACM 52(2): 79-87 (2009)

Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider: Quantifying information flow with beliefs. Journal of Computer Security 17(5): 655-701 (2009)

Xin Qi, Andrew C. Myers: Sharing classes between families. PLDI 2009: 281-292

Xin Qi, Andrew C. Myers: Masked types for sound object initialization. POPL 2009: 53-65

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: 321-334

Alan Shieh, Andrew C. Myers, Emin Gün Sirer: A stateless approach to connection-oriented protocols. ACM Trans. Comput. Syst. 26(3) (2008)

Stephen Chong, Andrew C. Myers: End-to-End Enforcement of Erasure and Declassification. CSF 2008: 98-111

Lantian Zheng, Andrew C. Myers: Securing nonintrusive web encryption through information flow. PLAS 2008: 125-134

Michael R. Clarkson, Stephen Chong, Andrew C. Myers: Civitas: Toward a Secure Voting System. IEEE Symposium on Security and Privacy 2008: 354-368

Lantian Zheng, Andrew C. Myers: Dynamic security labels and static information flow control. Int. J. Inf. Sec. 6(2-3): 67-84 (2007)

Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007

Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007

Michael E. Clarkson, Stephen Chong, Andrew C. Myers: Civitas: A Secure Remote Voting System. Frontiers of Electronic Voting 2007

Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng: Secure web application via automatic partitioning. SOSP 2007: 31-44

Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld (Eds.): Mobility, Ubiquity and Security, 25.02. - 02.03.2007. Dagstuhl Seminar Proceedings 07091, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007

Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification and Qualified Robustness. Journal of Computer Security 14(2): 157-196 (2006)

Stephen Chong, Andrew C. Myers: Decentralized Robustness. CSFW 2006: 242-256

Nathaniel Nystrom, Xin Qi, Andrew C. Myers: J&: nested intersection for scalable software composition. OOPSLA 2006: 21-36

Jed Liu, Aaron Kimball, Andrew C. Myers: Interruptible iterators. POPL 2006: 283-294

Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider: Belief in Information Flow. CSFW 2005: 31-45

Stephen Chong, Andrew C. Myers: Language-Based Information Erasure. CSFW 2005: 241-254

Lantian Zheng, Andrew C. Myers: End-to-End Availability Policies and Noninterference. CSFW 2005: 272-286

Andrew C. Myers: Programming with Explicit Security Policies. ESOP 2005: 1-4

Alan Shieh, Andrew C. Myers, Emin Gün Sirer: Trickles: A Stateless Network Stack for Improved Scalability, Resilience, and Flexibility. NSDI 2005

Andrew C. Myers: Making distributed systems secure with program analysis and transformation. PASTE 2005: 47

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: 262-266

Stephen Chong, Andrew C. Myers: Security policies for downgrading. ACM Conference on Computer and Communications Security 2004: 198-209

Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification. CSFW 2004: 172-186

Lantian Zheng, Andrew C. Myers: Dynamic Security Labels and Noninterference (Extended Abstract). Formal Aspects in Security and Trust 2004: 27-40

Nathaniel Nystrom, Stephen Chong, Andrew C. Myers: Scalable extensibility via nested inheritance. OOPSLA 2004: 99-115

Andrei Sabelfeld, Andrew C. Myers: Language-based information-flow security. IEEE Journal on Selected Areas in Communications 21(1): 5-19 (2003)

Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers: Polyglot: An Extensible Compiler Framework for Java. CC 2003: 138-152

Steve Zdancewic, Andrew C. Myers: Observational Determinism for Concurrent Program Security. CSFW 2003: 29-

Andrei Sabelfeld, Andrew C. Myers: A Model for Delimited Information Release. ISSS 2003: 174-191

Jed Liu, Andrew C. Myers: JMatch: Iterable Abstract Pattern Matching for Java. PADL 2003: 110-127

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: 236-250

Steve Zdancewic, Andrew C. Myers: Secure Information Flow via Linear Continuations. Higher-Order and Symbolic Computation 15(2-3): 209-234 (2002)

Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers: Secure program partitioning. ACM Trans. Comput. Syst. 20(3): 283-328 (2002)

Steve Zdancewic, Andrew C. Myers: Robust Declassification. CSFW 2001: 15

Steve Zdancewic, Andrew C. Myers: Secure Information Flow and CPS. ESOP 2001: 46-61

Andrew C. Myers: Security-Typed Languages and Distributed Computation. SAS 2001: 437-438

Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers: Untrusted Hosts and Confidentiality: Secure Program Partitioning. SOSP 2001: 1-14

Andrew C. Myers, Barbara Liskov: Protecting privacy using the decentralized label model. ACM Trans. Softw. Eng. Methodol. 9(4): 410-442 (2000)

Andrew C. Myers: JFlow: Practical Mostly-Static Information Flow Control. POPL 1999: 228-241

Andrew C. Myers, Barbara Liskov: Complete, Safe Information Flow with Decentralized Labels. IEEE Symposium on Security and Privacy 1998: 186-197

Andrew C. Myers, Joseph A. Bank, Barbara Liskov: Parameterized Types for Java. POPL 1997: 132-145

Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers: HAC: Hybrid Adaptive Caching for Distributed Storage Systems. SOSP 1997: 102-115

Andrew C. Myers, Barbara Liskov: A Decentralized Model for Information Flow Control. SOSP 1997: 129-142

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: 318-329

Andrew C. Myers: Bidirectional Object Layout for Separate Compilation. OOPSLA 1995: 124-139

Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers: Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. OOPSLA 1995: 156-168

Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers: References to Remote Mobile Objects in Thor. LOPLAS 2(1-4): 115-126 (1993)

Andrew C. Myers: Resolving the Integrity/Performance Conflict. Workshop on Workstation Operating Systems 1993: 156-159