Andrew C. Myers

发表

Xin Qi, Andrew C. Myers, 2010, OOPSLA.
Andrew C. Myers, Lantian Zheng, A. Myers, 2008, PLAS '08.
Andrew C. Myers, Lantian Zheng, Steve Zdancewic, 2001, SOSP.
Andrew C. Myers, Owen Arden, Jed Liu, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.
Andrew Ferraiuolo, G. Edward Suh, Andrew C. Myers, 2017 .
Andrew C. Myers, Stephen Chong, K. Vikram, 2007, USENIX Security Symposium.
Stefan Katzenbeisser, Edgar R. Weippl, Shai Halevi, 2016, CCS.
Miguel Castro, Liuba Shrira, Andrew C. Myers, 1996, SIGMOD '96.
Andrew Ferraiuolo, G. Edward Suh, Danfeng Zhang, 2014, 2016 IEEE International Symposium on High Performance Computer Architecture (HPCA).
Andrew C. Myers, Steve Zdancewic, A. Myers, 2001, ESOP.
Andrew C. Myers, Nathaniel Nystrom, Nathaniel Nystrom, 2007 .
Andrew C. Myers, Lantian Zheng, A. Myers, 2007, International Journal of Information Security.
Andrew C. Myers, A. Myers, 1999, POPL '99.
Robbert van Renesse, Andrew C. Myers, Isaac C. Sheff, 2014, ArXiv.
Andrew C. Myers, 2010, ICISS.
Marcus S. Day, Michael Zingale, Andrew C. Myers, 2019, J. Open Source Softw..
Fred B. Schneider, Andrew C. Myers, 2004 .
Andrew C. Myers, Lantian Zheng, A. Myers, 2004, Formal Aspects in Security and Trust.
Michael R. Clarkson, Fred B. Schneider, Andrew C. Myers, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
Simon L. Peyton Jones, Danfeng Zhang, Andrew C. Myers, 2015, PLDI.
Andrew C. Myers, Yizhou Zhang, Barbara Liskov, 2015, PLDI.
Danfeng Zhang, Andrew C. Myers, Aslan Askarov, 2012, PLDI.
Robbert van Renesse, Andrew C. Myers, Isaac Sheff, 2020, ArXiv.
Andrew C. Myers, Steve Zdancewic, A. Myers, 2002, High. Order Symb. Comput..
Andrew C. Myers, Lantian Zheng, 2014, PLAS@ECOOP.
Andrew C. Myers, A. Myers, 1995, OOPSLA.
Andrew Ferraiuolo, G. Edward Suh, Mark E. Campbell, 2018, CPS-SPC@CCS.
Andrew C. Myers, Andrei Sabelfeld, A. Myers, 2003, IEEE J. Sel. Areas Commun..
Andrew Ferraiuolo, G. Edward Suh, Andrew C. Myers, 2018, CCS.
Andrew C. Myers, Steve Zdancewic, Andrei Sabelfeld, 2006, J. Comput. Secur..
G. Edward Suh, Andrew C. Myers, Drew Zagieboylo, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Andrew C. Myers, Lantian Zheng, Steve Zdancewic, 2001, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
Andrew C. Myers, Lantian Zheng, Steve Zdancewic, 2002, TOCS.
Xin Zheng, Xin Qi, Andrew C. Myers, 2009, CACM.
Andrew Ferraiuolo, G. Edward Suh, Andrew C. Myers, 2017, 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).
Danfeng Zhang, Andrew C. Myers, Aslan Askarov, 2010, CCS '10.
Andrew C. Myers, Yizhou Zhang, 2017, Proc. ACM Program. Lang..
Andrew C. Myers, Ethan Cecchetti, Owen Arden, 2017, CCS.
Andrew C. Myers, Yizhou Zhang, Barbara Liskov, 2015 .
Andrew C. Myers, Aslan Askarov, A. Myers, 2011, Log. Methods Comput. Sci..
Andrew C. Myers, Barbara Liskov, A. Myers, 2000, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
Gilles Barthe, Peter Müller, Andrew C. Myers, 2007, Mobility, Ubiquity and Security.
Andrew C. Myers, Heiko Mantel, Andrei Sabelfeld, 2007, Mobility, Ubiquity and Security.
Andrew C. Myers, Lantian Zheng, Lantian Zheng, 2007 .
Andrew C. Myers, Barbara Liskov, A. Myers, 1998, Proceedings. 1998 IEEE Symposium on Security and Privacy (Cat. No.98CB36186).
Andrew C. Myers, A. Myers, 2002, PLDI '02.
Miguel Castro, Andrew C. Myers, Barbara Liskov, 1997, SOSP.
Andrew C. Myers, Steve Zdancewic, S. Zdancewic, 2002 .
Andrew C. Myers, Lantian Zheng, A. Myers, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
Xin Qi, Andrew C. Myers, Nathaniel Nystrom, 2006, OOPSLA '06.
Andrew C. Myers, Robert Gruber, Barbara Liskov, 1995, OOPSLA.
Andrew C. Myers, Stephen Chong, Michael E. Clarkson, 2007, Frontiers of Electronic Voting.
Danfeng Zhang, Andrew C. Myers, Aslan Askarov, 2011, CCS '11.
Andrew C. Myers, Chinawat Isradisaikul, 2013, PLDI 2013.
Andrew C. Myers, Lantian Zheng, A. Myers, 2004 .
Andrew C. Myers, Lantian Zheng, A. Myers, 2006 .
Andrew C. Myers, Matthew Milano, A. Myers, 2016 .
Xin Qi, Andrew C. Myers, A. Myers, 2009, POPL '09.
Andrew C. Myers, Jed Liu, 2014, POST.
Andrew C. Myers, Joseph A. Bank, Barbara Liskov, 1997, POPL '97.
Alvin Cheung, Samuel Madden, Andrew C. Myers, 2012, Proc. VLDB Endow..
Andrew C. Myers, Steve Zdancewic, A. Myers, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Robbert van Renesse, Andrew C. Myers, Isaac C. Sheff, 2020, OPODIS.
Xin Qi, Andrew C. Myers, Lucas Waye, 2009, SOSP '09.
Michael R. Clarkson, Andrew C. Myers, Nathaniel Nystrom, 2003, CC.
Andrew C. Myers, Aslan Askarov, A. Myers, 2010, ESOP.
Fred B. Schneider, Andrew C. Myers, Dexter Kozen, 2007 .
Andrew C. Myers, Stephen Chong, Nathaniel Nystrom, 2004, OOPSLA.
Emin Gün Sirer, Andrew C. Myers, Alan Shieh, 2008, TOCS.
Andrew C. Myers, Matthew Milano, A. Myers, 2018, PLDI.
Andrew C. Myers, Chinawat Isradisaikul, A. Myers, 2013, PLDI.
Andrew C. Myers, Barbara Liskov, Guido Salvaneschi, 2016 .
Andrew C. Myers, Matthew Milano, Rolph Recto, 2019, SNAPL.
Andrew C. Myers, Chinawat Isradisaikul, A. Myers, 2015, PLDI.
Andrew C. Myers, Steve Zdancewic, A. Myers, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
Yao Wang, G. Edward Suh, Danfeng Zhang, 2015, ASPLOS.
Xin Zheng, Xin Qi, Andrew C. Myers, 2007, SOSP.
Michael R. Clarkson, Fred B. Schneider, Andrew C. Myers, 2009, J. Comput. Secur..
Andrew C. Myers, Ethan Cecchetti, Owen Arden, 2017, ArXiv.
G. Edward Suh, Danfeng Zhang, Yao Wang, 2014 .
Andrew C. Myers, Stephen Chong, Lantian Zheng, 1999 .
Johannes Gehrke, Andrew C. Myers, Nate Foster, 2019, EuroSys.
Fred B. Schneider, Andrew C. Myers, Owen Arden, 2016, Foundations of Security, Protocols, and Equational Reasoning.
Edgar R. Weippl, Stefan Katzenbeisser, Shai Halevi, 2018, CCS.
Andrew Ferraiuolo, G. Edward Suh, Danfeng Zhang, 2016, International Conference on Architectural Support for Programming Languages and Operating Systems.
Andrew C. Myers, François Guimbretière, Erik Andersen, 2017, CHI.
Andrew C. Myers, Richard Salvatore Gullo, Stephen Richard Bedell, 2016 .
Xin Qi, Andrew C. Myers, Nathaniel Nystrom, 2006 .
G. Edward Suh, Andrew C. Myers, Drew Zagieboylo, 2020, ArXiv.
Andrew C. Myers, Stephen Chong, A. Myers, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
David Gries, Andrew C. Myers, Saikat Guha, 2005 .
Andrew C. Myers, Jed Liu, Aaron Kimball, 2006, POPL '06.
G. Edward Suh, Andrew C. Myers, Jacopo Banfi, 2020, IEEE Robotics and Automation Letters.
G. Edward Suh, Andrew C. Myers, Mulong Luo, 2020, USENIX Security Symposium.
Andrew C. Myers, Jed Liu, 2002 .
Robbert van Renesse, Andrew C. Myers, Isaac C. Sheff, 2019, ArXiv.
Andrew C. Myers, Yizhou Zhang, Barbara Liskov, 2016, PLDI.
Andrew C. Myers, Steve Zdancewic, A. Myers, 2000 .
Michael R. Clarkson, Andrew C. Myers, Stephen Chong, 2008, 2008 IEEE Symposium on Security and Privacy (sp 2008).
Andrew C. Myers, Michael Backes, Michael Backes, 2012, J. Comput. Secur..
Andrew Ferraiuolo, G. Edward Suh, Andrew C. Myers, 2018 .
Robbert van Renesse, Andrew C. Myers, Isaac C. Sheff, 2018, ArXiv.
Andrew C. Myers, Stephen Chong, A. Myers, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Xin Qi, Andrew C. Myers, Nathaniel Nystrom, 2006 .
Xin Qi, Andrew C. Myers, 2009, PLDI '09.
Andrew C. Myers, Andrei Sabelfeld, A. Myers, 2003, ISSS.
Andrew C. Myers, Barbara Liskov, Umesh Maheshwari, 1993, LOPL.
Andrew C. Myers, Yizhou Zhang, Guido Salvaneschi, 2020, Proc. ACM Program. Lang..
Alvin Cheung, Samuel Madden, Andrew C. Myers, 2013, SIGMOD '13.
Andrew C. Myers, Barbara Liskov, 2003, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
Andrew C. Myers, Yizhou Zhang, Guido Salvaneschi, 2020, ArXiv.
Alvin Cheung, Armando Solar-Lezama, Samuel Madden, 2014, IEEE Data Eng. Bull..
Andrew C. Myers, Stephen Chong, A. Myers, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Andrew C. Myers, Owen Arden, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Gilles Barthe, Peter Müller, Andrew C. Myers, 2007, Mobility, Ubiquity and Security.
Andrew C. Myers, Stephen Chong, A. Myers, 2004, CCS '04.
Christopher Ré, Saikat Guha, David Gries, 2005, SIGCSE '05.
Simon L. Peyton Jones, Danfeng Zhang, Andrew C. Myers, 2017, ACM Trans. Program. Lang. Syst..
Danfeng Zhang, Andrew C. Myers, A. Myers, 2014, POPL.
Andrew C. Myers, Owen Arden, Jed Liu, 2012, 2012 IEEE Symposium on Security and Privacy.
Andrew C. Myers, Barbara Liskov, A. Myers, 1997, SOSP.
Andrew Ferraiuolo, G. Edward Suh, Danfeng Zhang, 2016, 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Liuba Shrira, Andrew C. Myers, Robert Gruber, 1995 .
Andrew C. Myers, Owen Arden, Jed Liu, 2017, J. Comput. Secur..
Alvin Cheung, Armando Solar-Lezama, Samuel Madden, 2013, CIDR.
Andrew C. Myers, A. Myers, 2010, Logics and Languages for Reliability and Security.
Patrick Schaumont, Andrew C. Myers, Benjamin C. Pierce, 2016, ArXiv.
Andrew C. Myers, 1993, Proceedings of IEEE 4th Workshop on Workstation Operating Systems. WWOS-III.
Andrew C. Myers, Owen Arden, Jed Liu, 2014, NSDI.
Andrew C. Myers, Steve Zdancewic, A. Myers, 2000 .
Danfeng Zhang, Andrew C. Myers, Aslan Askarov, 2012 .
Andrew C. Myers, Robert Gruber, Barbara Liskov, 2013 .
Andrew C. Myers, Stephen Chong, Lantian Zheng, 2003, 2003 Symposium on Security and Privacy, 2003..
Andrew C. Myers, Yizhou Zhang, A. Myers, 2019, Proc. ACM Program. Lang..
Andrew C. Myers, Barbara Liskov, A. Myers, 2000, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.
Andrew C. Myers, Ethan Cecchetti, Haobin Ni, 2021, 2021 IEEE Symposium on Security and Privacy (SP).
Elaine Shi, Andrew C. Myers, Joshua Gancher, 2021, IACR Cryptol. ePrint Arch..
Andrew C. Myers, Joshua Gancher, Rolph Recto, 2021, Artifact Digital Object Group.
Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, 2015 .
Andrew C. Myers, A. Myers, Yizhou Zhang, 2017, Proc. ACM Program. Lang..
Andrew C. Myers, A. Myers, Xin Qi, 2010, OOPSLA.
Andrew C. Myers, Ethan Cecchetti, Haobin Ni, 2020 .
Andrew C. Myers, Steve Zdancewic, Andrei Sabelfeld, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..