Andrew C. Myers

	2009
51		Xin Qi, Andrew C. Myers: Sharing classes between families. PLDI 2009: 281-292
50		Xin Qi, Andrew C. Myers: Masked types for sound object initialization. POPL 2009: 53-65
49		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
48		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		Stephen Chong, Andrew C. Myers: End-to-End Enforcement of Erasure and Declassification. CSF 2008: 98-111
46		Michael R. Clarkson, Stephen Chong, Andrew C. Myers: Civitas: Toward a Secure Voting System. IEEE Symposium on Security and Privacy 2008: 354-368
45		Lantian Zheng, Andrew C. Myers: Securing nonintrusive web encryption through information flow. PLAS 2008: 125-134
44		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		Michael E. Clarkson, Stephen Chong, Andrew C. Myers: Civitas: A Secure Remote Voting System. Frontiers of Electronic Voting 2007
41		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		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		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		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		Stephen Chong, Andrew C. Myers: Decentralized Robustness. CSFW 2006: 242-256
36		Nathaniel Nystrom, Xin Qi, Andrew C. Myers: J&: nested intersection for scalable software composition. OOPSLA 2006: 21-36
35		Jed Liu, Aaron Kimball, Andrew C. Myers: Interruptible iterators. POPL 2006: 283-294
34		Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification and Qualified Robustness. Journal of Computer Security 14(2): 157-196 (2006)
	2005
33		Stephen Chong, Andrew C. Myers: Language-Based Information Erasure. CSFW 2005: 241-254
32		Lantian Zheng, Andrew C. Myers: End-to-End Availability Policies and Noninterference. CSFW 2005: 272-286
31		Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider: Belief in Information Flow. CSFW 2005: 31-45
30		Andrew C. Myers: Programming with Explicit Security Policies. ESOP 2005: 1-4
29		Alan Shieh, Andrew C. Myers, Emin Gün Sirer: Trickles: A Stateless Network Stack for Improved Scalability, Resilience, and Flexibility. NSDI 2005
28		Andrew C. Myers: Making distributed systems secure with program analysis and transformation. PASTE 2005: 47
27		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		Stephen Chong, Andrew C. Myers: Security policies for downgrading. ACM Conference on Computer and Communications Security 2004: 198-209
25		Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification. CSFW 2004: 172-186
24		Lantian Zheng, Andrew C. Myers: Dynamic Security Labels and Noninterference (Extended Abstract). Formal Aspects in Security and Trust 2004: 27-40
23		Nathaniel Nystrom, Stephen Chong, Andrew C. Myers: Scalable extensibility via nested inheritance. OOPSLA 2004: 99-115
	2003
22		Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers: Polyglot: An Extensible Compiler Framework for Java. CC 2003: 138-152
21		Steve Zdancewic, Andrew C. Myers: Observational Determinism for Concurrent Program Security. CSFW 2003: 29-
20		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		Andrei Sabelfeld, Andrew C. Myers: A Model for Delimited Information Release. ISSS 2003: 174-191
18		Jed Liu, Andrew C. Myers: JMatch: Iterable Abstract Pattern Matching for Java. PADL 2003: 110-127
	2002
17		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		Steve Zdancewic, Andrew C. Myers: Robust Declassification. CSFW 2001: 15
14		Steve Zdancewic, Andrew C. Myers: Secure Information Flow and CPS. ESOP 2001: 46-61
13		Andrew C. Myers: Security-Typed Languages and Distributed Computation. SAS 2001: 437-438
12		Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers: Untrusted Hosts and Confidentiality: Secure Program Partitioning. SOSP 2001: 1-14
	2000
11		Andrew C. Myers, Barbara Liskov: Protecting privacy using the decentralized label model. ACM Trans. Softw. Eng. Methodol. 9(4): 410-442 (2000)
	1999
10		Andrew C. Myers: JFlow: Practical Mostly-Static Information Flow Control. POPL 1999: 228-241
	1998
9		Andrew C. Myers, Barbara Liskov: Complete, Safe Information Flow with Decentralized Labels. IEEE Symposium on Security and Privacy 1998: 186-197
	1997
8		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		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		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	Michael D. George	[49]
17	Sanjay Ghemawat	[5]
18	Sergey Grankin	[27]
19	David Gries	[27]
20	Robert Gruber	[3] [5]
21	Jon Guarino	[27]
22	Saikat Guha	[27]
23	Aaron Kimball	[35]
24	Dexter Kozen	[27]
25	Pei-Chen Lee	[27]
26	Barbara Liskov	[1] [3] [5] [6] [7] [8] [9] [11]
27	Jed Liu	[18] [35] [39] [48] [49]
28	Umesh Maheshwari	[1] [5]
29	Heiko Mantel	[40] [41] [43]
30	Peter Müller	[40] [41] [43]
31	Nathaniel Nystrom	[12] [17] [22] [23] [36]
32	Dan Perry	[27]
33	Xin Qi	[36] [39] [48] [49] [50] [51]
34	Christopher Ré (Christopher Re)	[27]
35	Ilya Rifkin	[27]
36	Andrei Sabelfeld	[19] [25] [34] [40] [41] [43]
37	Fred B. Schneider	[31]
38	David I. Schwartz	[27]
39	Jayavel Shanmugasundaram	[27]
40	Alan Shieh	[29] [44]
41	Liuba Shrira	[5]
42	Emin Gün Sirer	[29] [44]
43	K. Vikram	[39] [48] [49]
44	Lucas Waye	[49]
45	Tingyan Yuan	[27]
46	Steve Zdancewic	[12] [14] [15] [16] [17] [20] [21] [25] [34]
47	Lantian Zheng	[12] [17] [20] [24] [32] [38] [39] [45] [48]
48	Xin Zheng	[39] [48]