A. Myers

发表

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