Andrew C. Myers

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2013
62How languages can save distributed computing. Andrew C. Myers. POPL 2013, 315-316. Web SearchBibTeXDownload
2012
61Sharing Mobile Code Securely with Information Flow Control. Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, Andrew C. Myers. IEEE Symposium on Security and Privacy 2012, 191-205. Web SearchBibTeXDownload
60Language-based control and mitigation of timing channels. Danfeng Zhang, Aslan Askarov, Andrew C. Myers. PLDI 2012, 99-110. Web SearchBibTeXDownload
59Automatic Partitioning of Database Applications. Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers. PVLDB (5): 1471-1482 (2012). Web SearchBibTeXDownload
2011
58Predictive mitigation of timing channels in interactive systems. Danfeng Zhang, Aslan Askarov, Andrew C. Myers. ACM Conference on Computer and Communications Security 2011, 563-574. Web SearchBibTeXDownload
57Attacker Control and Impact for Confidentiality and Integrity. Aslan Askarov, Andrew C. Myers. Logical Methods in Computer Science (7) (2011). Web SearchBibTeXDownload
2010
56Predictive black-box mitigation of timing channels. Aslan Askarov, Danfeng Zhang, Andrew C. Myers. ACM Conference on Computer and Communications Security 2010, 297-307. Web SearchBibTeXDownload
55Toward Securely Programming the Internet. Andrew C. Myers. ICISS 2010, 27. Web SearchBibTeXDownload
54Using Security Policies to Write Secure Software. Andrew C. Myers. Logics and Languages for Reliability and Security 2010, 225-261. Web SearchBibTeXDownload
53Homogeneous family sharing. Xin Qi, Andrew C. Myers. OOPSLA 2010, 520-538. Web SearchBibTeXDownload
2009
52Building secure web applications with automatic partitioning. Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng. Commun. ACM (52): 79-87 (2009). Web SearchBibTeXDownload
51Quantifying information flow with beliefs. Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider. Journal of Computer Security (17): 655-701 (2009). Web SearchBibTeXDownload
50Sharing classes between families. Xin Qi, Andrew C. Myers. PLDI 2009, 281-292. Web SearchBibTeXDownload
49Masked types for sound object initialization. Xin Qi, Andrew C. Myers. POPL 2009, 53-65. Web SearchBibTeXDownload
48Fabric: a platform for secure distributed computation and storage. Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers. SOSP 2009, 321-334. Web SearchBibTeXDownload
2008
47A stateless approach to connection-oriented protocols. Alan Shieh, Andrew C. Myers, Emin Gün Sirer. ACM Trans. Comput. Syst. (26) (2008). Web SearchBibTeXDownload
46End-to-End Enforcement of Erasure and Declassification. Stephen Chong, Andrew C. Myers. CSF 2008, 98-111. Web SearchBibTeXDownload
45Civitas: Toward a Secure Voting System. Michael R. Clarkson, Stephen Chong, Andrew C. Myers. IEEE Symposium on Security and Privacy 2008, 354-368. Web SearchBibTeXDownload
44Securing nonintrusive web encryption through information flow. Lantian Zheng, Andrew C. Myers. PLAS 2008, 125-134. Web SearchBibTeXDownload
2007
43Civitas: A Secure Remote Voting System. Michael E. Clarkson, Stephen Chong, Andrew C. Myers. Frontiers of Electronic Voting 2007. Web SearchBibTeXDownload
42Dynamic security labels and static information flow control. Lantian Zheng, Andrew C. Myers. Int. J. Inf. Sec. (6): 67-84 (2007). Web SearchBibTeXDownload
4107091 Abstracts Collection - Mobility, Ubiquity and Security. Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld. Mobility, Ubiquity and Security 2007. Web SearchBibTeXDownload
4007091 Executive Summary - Mobility, Ubiquity and Security. Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld. Mobility, Ubiquity and Security 2007. Web SearchBibTeXDownload
39Secure web application via automatic partitioning. Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng. SOSP 2007, 31-44. Web SearchBibTeXDownload
2006
38Decentralized Robustness. Stephen Chong, Andrew C. Myers. CSFW 2006, 242-256. Web SearchBibTeXDownload
37Enforcing Robust Declassification and Qualified Robustness. Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic. Journal of Computer Security (14): 157-196 (2006). Web SearchBibTeXDownload
36J&: nested intersection for scalable software composition. Nathaniel Nystrom, Xin Qi, Andrew C. Myers. OOPSLA 2006, 21-36. Web SearchBibTeXDownload
35Interruptible iterators. Jed Liu, Aaron Kimball, Andrew C. Myers. POPL 2006, 283-294. Web SearchBibTeXDownload
2005
34End-to-End Availability Policies and Noninterference. Lantian Zheng, Andrew C. Myers. CSFW 2005, 272-286. Web SearchBibTeXDownload
33Language-Based Information Erasure. Stephen Chong, Andrew C. Myers. CSFW 2005, 241-254. Web SearchBibTeXDownload
32Belief in Information Flow. Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider. CSFW 2005, 31-45. Web SearchBibTeXDownload
31Programming with Explicit Security Policies. Andrew C. Myers. ESOP 2005, 1-4. Web SearchBibTeXDownload
30Trickles: A Stateless Network Stack for Improved Scalability, Resilience, and Flexibility. Alan Shieh, Andrew C. Myers, Emin Gün Sirer. NSDI 2005. Web SearchBibTeXDownload
29Making distributed systems secure with program analysis and transformation. Andrew C. Myers. PASTE 2005, 47. Web SearchBibTeXDownload
28Supporting workflow in a course management system. 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. SIGCSE 2005, 262-266. Cited by 13Web SearchBibTeXDownload
2004
27Security policies for downgrading. Stephen Chong, Andrew C. Myers. ACM Conference on Computer and Communications Security 2004, 198-209. Web SearchBibTeXDownload
26Enforcing Robust Declassification. Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic. CSFW 2004, 172-186. Web SearchBibTeXDownload
25Dynamic Security Labels and Noninterference (Extended Abstract). Lantian Zheng, Andrew C. Myers. Formal Aspects in Security and Trust 2004, 27-40. Web SearchBibTeXDownload
24Scalable extensibility via nested inheritance. Nathaniel Nystrom, Stephen Chong, Andrew C. Myers. OOPSLA 2004, 99-115. Web SearchBibTeXDownload
2003
23Polyglot: An Extensible Compiler Framework for Java. Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers. CC 2003, 138-152. Web SearchBibTeXDownload
22Observational Determinism for Concurrent Program Security. Steve Zdancewic, Andrew C. Myers. CSFW 2003, 29. Web SearchBibTeXDownload
21Language-based information-flow security. Andrei Sabelfeld, Andrew C. Myers. IEEE Journal on Selected Areas in Communications (21): 5-19 (2003). Web SearchBibTeXDownload
20Using Replication and Partitioning to Build Secure Distributed Systems. Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic. IEEE Symposium on Security and Privacy 2003, 236-250. Web SearchBibTeXDownload
19A Model for Delimited Information Release. Andrei Sabelfeld, Andrew C. Myers. ISSS 2003, 174-191. Web SearchBibTeXDownload
18JMatch: Iterable Abstract Pattern Matching for Java. Jed Liu, Andrew C. Myers. PADL 2003, 110-127. Web SearchBibTeXDownload
2002
17Secure program partitioning. Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers. ACM Trans. Comput. Syst. (20): 283-328 (2002). Web SearchBibTeXDownload
16Secure Information Flow via Linear Continuations. Steve Zdancewic, Andrew C. Myers. Higher-Order and Symbolic Computation (15): 209-234 (2002). Web SearchBibTeXDownload
2001
15Robust Declassification. Steve Zdancewic, Andrew C. Myers. CSFW 2001, 15. Web SearchBibTeXDownload
14Secure Information Flow and CPS. Steve Zdancewic, Andrew C. Myers. ESOP 2001, 46-61. Web SearchBibTeXDownload
13Security-Typed Languages and Distributed Computation. Andrew C. Myers. SAS 2001, 437-438. Web SearchBibTeXDownload
12Untrusted Hosts and Confidentiality: Secure Program Partitioning. Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers. SOSP 2001, 1-14. Web SearchBibTeXDownload
2000
11Protecting privacy using the decentralized label model. Andrew C. Myers, Barbara Liskov. ACM Trans. Softw. Eng. Methodol. (9): 410-442 (2000). Web SearchBibTeXDownload
1999
10JFlow: Practical Mostly-Static Information Flow Control. Andrew C. Myers. POPL 1999, 228-241. Web SearchBibTeXDownload
1998
9Complete, Safe Information Flow with Decentralized Labels. Andrew C. Myers, Barbara Liskov. IEEE Symposium on Security and Privacy 1998, 186-197. Web SearchBibTeXDownload
1997
8Parameterized Types for Java. Andrew C. Myers, Joseph A. Bank, Barbara Liskov. POPL 1997, 132-145. Cited by 206Web SearchBibTeXDownload
7HAC: Hybrid Adaptive Caching for Distributed Storage Systems. Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers. SOSP 1997, 102-115. Web SearchBibTeXDownload
6A Decentralized Model for Information Flow Control. Andrew C. Myers, Barbara Liskov. SOSP 1997, 129-142. Web SearchBibTeXDownload
1996
5Safe and Efficient Sharing of Persistent Objects in Thor. Barbara Liskov, Atul Adya, Miguel Castro, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew C. Myers, Liuba Shrira. SIGMOD Conference 1996, 318-329. Web SearchBibTeXDownload
1995
4Bidirectional Object Layout for Separate Compilation. Andrew C. Myers. OOPSLA 1995, 124-139. Web SearchBibTeXDownload
3Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers. OOPSLA 1995, 156-168. Web SearchBibTeXDownload
1993
2References to Remote Mobile Objects in Thor. Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers. LOPLAS (2): 115-126 (1993). Web SearchBibTeXDownload
1Resolving the Integrity/Performance Conflict. Andrew C. Myers. Workshop on Workstation Operating Systems 1993, 156-159. Web SearchBibTeX
from DBLP and Google Scholar
References
1. ^ CS Colloquium - Retrieved 2013-05-12 - details
2. ^ 2003-2004 Research Colloquia - Retrieved 2011-04-28 - details
3. ^ CSE@UTA : Abstract of Talk - Retrieved 2012-02-07 - details
Developed by the Database Group at the University of Wisconsin and Yahoo! Research