Andrew C. Myers Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)