Andrew C. Myers

	2011
59		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
58		Aslan Askarov, Andrew C. Myers: Attacker Control and Impact for Confidentiality and Integrity Logical Methods in Computer Science 7(3): (2011)
	2010
57		Aslan Askarov, Danfeng Zhang, Andrew C. Myers: Predictive black-box mitigation of timing channels. ACM Conference on Computer and Communications Security 2010: 297-307
56		Andrew C. Myers: Toward Securely Programming the Internet. ICISS 2010: 27
55		Xin Qi, Andrew C. Myers: Homogeneous family sharing. OOPSLA 2010: 520-538
54		Andrew C. Myers: Using Security Policies to Write Secure Software. Logics and Languages for Reliability and Security 2010: 225-261
	2009
53		Xin Qi, Andrew C. Myers: Sharing classes between families. PLDI 2009: 281-292
52		Xin Qi, Andrew C. Myers: Masked types for sound object initialization. POPL 2009: 53-65
51		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
50		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)
49		Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider: Quantifying information flow with beliefs. Journal of Computer Security 17(5): 655-701 (2009)
	2008
48		Stephen Chong, Andrew C. Myers: End-to-End Enforcement of Erasure and Declassification. CSF 2008: 98-111
47		Michael R. Clarkson, Stephen Chong, Andrew C. Myers: Civitas: Toward a Secure Voting System. IEEE Symposium on Security and Privacy 2008: 354-368
46		Lantian Zheng, Andrew C. Myers: Securing nonintrusive web encryption through information flow. PLAS 2008: 125-134
45		Alan Shieh, Andrew C. Myers, Emin Gün Sirer: A stateless approach to connection-oriented protocols. ACM Trans. Comput. Syst. 26(3): (2008)
	2007
44		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
43		Michael E. Clarkson, Stephen Chong, Andrew C. Myers: Civitas: A Secure Remote Voting System. Frontiers of Electronic Voting 2007
42		Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
41		Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
40		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
39		Lantian Zheng, Andrew C. Myers: Dynamic security labels and static information flow control. Int. J. Inf. Sec. 6(2-3): 67-84 (2007)
	2006
38		Stephen Chong, Andrew C. Myers: Decentralized Robustness. CSFW 2006: 242-256
37		Nathaniel Nystrom, Xin Qi, Andrew C. Myers: J&: nested intersection for scalable software composition. OOPSLA 2006: 21-36
36		Jed Liu, Aaron Kimball, Andrew C. Myers: Interruptible iterators. POPL 2006: 283-294
35		Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification and Qualified Robustness. Journal of Computer Security 14(2): 157-196 (2006)
	2005
34		Stephen Chong, Andrew C. Myers: Language-Based Information Erasure. CSFW 2005: 241-254
33		Lantian Zheng, Andrew C. Myers: End-to-End Availability Policies and Noninterference. CSFW 2005: 272-286
32		Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider: Belief in Information Flow. CSFW 2005: 31-45
31		Andrew C. Myers: Programming with Explicit Security Policies. ESOP 2005: 1-4
30		Alan Shieh, Andrew C. Myers, Emin Gün Sirer: Trickles: A Stateless Network Stack for Improved Scalability, Resilience, and Flexibility. NSDI 2005
29		Andrew C. Myers: Making distributed systems secure with program analysis and transformation. PASTE 2005: 47
28		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
27		Stephen Chong, Andrew C. Myers: Security policies for downgrading. ACM Conference on Computer and Communications Security 2004: 198-209
26		Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification. CSFW 2004: 172-186
25		Lantian Zheng, Andrew C. Myers: Dynamic Security Labels and Noninterference (Extended Abstract). Formal Aspects in Security and Trust 2004: 27-40
24		Nathaniel Nystrom, Stephen Chong, Andrew C. Myers: Scalable extensibility via nested inheritance. OOPSLA 2004: 99-115
	2003
23		Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers: Polyglot: An Extensible Compiler Framework for Java. CC 2003: 138-152
22		Steve Zdancewic, Andrew C. Myers: Observational Determinism for Concurrent Program Security. CSFW 2003: 29-
21		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
20		Andrei Sabelfeld, Andrew C. Myers: A Model for Delimited Information Release. ISSS 2003: 174-191
19		Jed Liu, Andrew C. Myers: JMatch: Iterable Abstract Pattern Matching for Java. PADL 2003: 110-127
18		Andrei Sabelfeld, Andrew C. Myers: Language-based information-flow security. IEEE Journal on Selected Areas in Communications 21(1): 5-19 (2003)
	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	[28]
2	Atul Adya	[5] [7]
3	Aslan Askarov	[57] [58] [59]
4	Joseph A. Bank	[8]
5	Gilles Barthe	[41] [42] [44]
6	Chavdar Botev	[28]
7	Kathy Carpenter	[28]
8	Miguel Castro	[5] [7]
9	Hubert Chao	[28]
10	Theodore Chao	[28]
11	Yim Cheng	[28]
12	Stephen Chong	[21] [24] [27] [34] [38] [40] [43] [47] [48] [50]
13	Michael E. Clarkson	[43]
14	Michael R. Clarkson	[23] [32] [47] [49]
15	Mark Day	[1] [3] [5]
16	Raymond Doyle	[28]
17	Michael D. George	[51]
18	Sanjay Ghemawat	[5]
19	Sergey Grankin	[28]
20	David Gries	[28]
21	Robert Gruber	[3] [5]
22	Jon Guarino	[28]
23	Saikat Guha	[28]
24	Aaron Kimball	[36]
25	Dexter Kozen	[28]
26	Pei-Chen Lee	[28]
27	Barbara Liskov	[1] [3] [5] [6] [7] [8] [9] [11]
28	Jed Liu	[19] [36] [40] [50] [51]
29	Umesh Maheshwari	[1] [5]
30	Heiko Mantel	[41] [42] [44]
31	Peter Müller	[41] [42] [44]
32	Nathaniel Nystrom	[12] [17] [23] [24] [37]
33	Dan Perry	[28]
34	Xin Qi	[37] [40] [50] [51] [52] [53] [55]
35	Christopher Ré (Christopher Re)	[28]
36	Ilya Rifkin	[28]
37	Andrei Sabelfeld	[18] [20] [26] [35] [41] [42] [44]
38	Fred B. Schneider	[32] [49]
39	David I. Schwartz	[28]
40	Jayavel Shanmugasundaram	[28]
41	Alan Shieh	[30] [45]
42	Liuba Shrira	[5]
43	Emin Gün Sirer	[30] [45]
44	K. Vikram	[40] [50] [51]
45	Lucas Waye	[51]
46	Tingyan Yuan	[28]
47	Steve Zdancewic	[12] [14] [15] [16] [17] [21] [22] [26] [35]
48	Danfeng Zhang	[57] [59]
49	Lantian Zheng	[12] [17] [21] [25] [33] [39] [40] [46] [50]
50	Xin Zheng	[40] [50]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page