Andrew C. Myers

2009
49	EE	Xin Qi, Andrew C. Myers: Masked types for sound object initialization. POPL 2009: 53-65
48	EE	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)
2008
47	EE	Stephen Chong, Andrew C. Myers: End-to-End Enforcement of Erasure and Declassification. CSF 2008: 98-111
46	EE	Michael R. Clarkson, Stephen Chong, Andrew C. Myers: Civitas: Toward a Secure Voting System. IEEE Symposium on Security and Privacy 2008: 354-368
45	EE	Lantian Zheng, Andrew C. Myers: Securing nonintrusive web encryption through information flow. PLAS 2008: 125-134
44	EE	Alan Shieh, Andrew C. Myers, Emin Gün Sirer: A stateless approach to connection-oriented protocols. ACM Trans. Comput. Syst. 26(3): (2008)
2007
43		Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: Mobility, Ubiquity and Security, 25.02. - 02.03.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
42	EE	Michael E. Clarkson, Stephen Chong, Andrew C. Myers: Civitas: A Secure Remote Voting System. Frontiers of Electronic Voting 2007
41	EE	Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
40	EE	Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
39	EE	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
38	EE	Lantian Zheng, Andrew C. Myers: Dynamic security labels and static information flow control. Int. J. Inf. Sec. 6(2-3): 67-84 (2007)
2006
37	EE	Stephen Chong, Andrew C. Myers: Decentralized Robustness. CSFW 2006: 242-256
36	EE	Nathaniel Nystrom, Xin Qi, Andrew C. Myers: J&: nested intersection for scalable software composition. OOPSLA 2006: 21-36
35	EE	Jed Liu, Aaron Kimball, Andrew C. Myers: Interruptible iterators. POPL 2006: 283-294
34	EE	Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification and Qualified Robustness. Journal of Computer Security 14(2): 157-196 (2006)
2005
33	EE	Stephen Chong, Andrew C. Myers: Language-Based Information Erasure. CSFW 2005: 241-254
32	EE	Lantian Zheng, Andrew C. Myers: End-to-End Availability Policies and Noninterference. CSFW 2005: 272-286
31	EE	Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider: Belief in Information Flow. CSFW 2005: 31-45
30	EE	Andrew C. Myers: Programming with Explicit Security Policies. ESOP 2005: 1-4
29	EE	Alan Shieh, Andrew C. Myers, Emin Gün Sirer: Trickles: A Stateless Network Stack for Improved Scalability, Resilience, and Flexibility. NSDI 2005
28	EE	Andrew C. Myers: Making distributed systems secure with program analysis and transformation. PASTE 2005: 47
27	EE	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
2004
26	EE	Stephen Chong, Andrew C. Myers: Security policies for downgrading. ACM Conference on Computer and Communications Security 2004: 198-209
25	EE	Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification. CSFW 2004: 172-186
24	EE	Lantian Zheng, Andrew C. Myers: Dynamic Security Labels and Noninterference (Extended Abstract). Formal Aspects in Security and Trust 2004: 27-40
23	EE	Nathaniel Nystrom, Stephen Chong, Andrew C. Myers: Scalable extensibility via nested inheritance. OOPSLA 2004: 99-115
2003
22	EE	Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers: Polyglot: An Extensible Compiler Framework for Java. CC 2003: 138-152
21	EE	Steve Zdancewic, Andrew C. Myers: Observational Determinism for Concurrent Program Security. CSFW 2003: 29-
20	EE	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
19	EE	Andrei Sabelfeld, Andrew C. Myers: A Model for Delimited Information Release. ISSS 2003: 174-191
18	EE	Jed Liu, Andrew C. Myers: JMatch: Iterable Abstract Pattern Matching for Java. PADL 2003: 110-127
2002
17	EE	Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers: Secure program partitioning. ACM Trans. Comput. Syst. 20(3): 283-328 (2002)
16		Steve Zdancewic, Andrew C. Myers: Secure Information Flow via Linear Continuations. Higher-Order and Symbolic Computation 15(2-3): 209-234 (2002)
2001
15	EE	Steve Zdancewic, Andrew C. Myers: Robust Declassification. CSFW 2001: 15
14	EE	Steve Zdancewic, Andrew C. Myers: Secure Information Flow and CPS. ESOP 2001: 46-61
13	EE	Andrew C. Myers: Security-Typed Languages and Distributed Computation. SAS 2001: 437-438
12	EE	Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers: Untrusted Hosts and Confidentiality: Secure Program Partitioning. SOSP 2001: 1-14
2000
11	EE	Andrew C. Myers, Barbara Liskov: Protecting privacy using the decentralized label model. ACM Trans. Softw. Eng. Methodol. 9(4): 410-442 (2000)
1999
10	EE	Andrew C. Myers: JFlow: Practical Mostly-Static Information Flow Control. POPL 1999: 228-241
1998
9	EE	Andrew C. Myers, Barbara Liskov: Complete, Safe Information Flow with Decentralized Labels. IEEE Symposium on Security and Privacy 1998: 186-197
1997
8	EE	Andrew C. Myers, Joseph A. Bank, Barbara Liskov: Parameterized Types for Java. POPL 1997: 132-145
7		Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers: HAC: Hybrid Adaptive Caching for Distributed Storage Systems. SOSP 1997: 102-115
6		Andrew C. Myers, Barbara Liskov: A Decentralized Model for Information Flow Control. SOSP 1997: 129-142
1996
5	EE	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
1995
4		Andrew C. Myers: Bidirectional Object Layout for Separate Compilation. OOPSLA 1995: 124-139
3		Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers: Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. OOPSLA 1995: 156-168
1993
2		Andrew C. Myers: Resolving the Integrity/Performance Conflict. Workshop on Workstation Operating Systems 1993: 156-159
1	EE	Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers: References to Remote Mobile Objects in Thor. LOPLAS 2(1-4): 115-126 (1993)

Coauthor Index

1	Dora Abdullah	[27]
2	Atul Adya	[5] [7]
3	Joseph A. Bank	[8]
4	Gilles Barthe	[40] [41] [43]
5	Chavdar Botev	[27]
6	Kathy Carpenter	[27]
7	Miguel Castro	[5] [7]
8	Hubert Chao	[27]
9	Theodore Chao	[27]
10	Yim Cheng	[27]
11	Stephen Chong	[20] [23] [26] [33] [37] [39] [42] [46] [47] [48]
12	Michael E. Clarkson	[42]
13	Michael R. Clarkson	[22] [31] [46]
14	Mark Day	[1] [3] [5]
15	Raymond Doyle	[27]
16	Sanjay Ghemawat	[5]
17	Sergey Grankin	[27]
18	David Gries	[27]
19	Robert Gruber	[3] [5]
20	Jon Guarino	[27]
21	Saikat Guha	[27]
22	Aaron Kimball	[35]
23	Dexter Kozen	[27]
24	Pei-Chen Lee	[27]
25	Barbara Liskov	[1] [3] [5] [6] [7] [8] [9] [11]
26	Jed Liu	[18] [35] [39] [48]
27	Umesh Maheshwari	[1] [5]
28	Heiko Mantel	[40] [41] [43]
29	Peter Müller	[40] [41] [43]
30	Nathaniel Nystrom	[12] [17] [22] [23] [36]
31	Dan Perry	[27]
32	Xin Qi	[36] [39] [48] [49]
33	Christopher Ré (Christopher Re)	[27]
34	Ilya Rifkin	[27]
35	Andrei Sabelfeld	[19] [25] [34] [40] [41] [43]
36	Fred B. Schneider	[31]
37	David I. Schwartz	[27]
38	Jayavel Shanmugasundaram	[27]
39	Alan Shieh	[29] [44]
40	Liuba Shrira	[5]
41	Emin Gün Sirer	[29] [44]
42	K. Vikram	[39] [48]
43	Tingyan Yuan	[27]
44	Steve Zdancewic	[12] [14] [15] [16] [17] [20] [21] [25] [34]
45	Lantian Zheng	[12] [17] [20] [24] [32] [38] [39] [45] [48]
46	Xin Zheng	[39] [48]