Andrew C. Myers

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 51

Top Venues

CoRR

PLDI

CCS

Proc. ACM Program. Lang.

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Siqiu Yao, Haobin Ni, Andrew C. Myers, Ethan Cecchetti
SCIF: A Language for Compositional Smart Contract Security. CoRR (2024)
Cosku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers
Secure Synthesis of Distributed Cryptographic Applications (Technical Report). CoRR (2024)
Rolph Recto, Andrew C. Myers
A Compiler from Array Programs to Vectorized Homomorphic Encryption. CoRR (2023)
Drew Zagieboylo, Charles Sherk, Andrew C. Myers, G. Edward Suh
SpecVerilog: Adapting Information Flow Control for Secure Speculation. CCS (2023)
Isaac C. Sheff, Xinwen Wang, Kushal Babel, Haobin Ni, Robbert van Renesse, Andrew C. Myers
Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications. ACM Trans. Comput. Syst. 41 (2023)
Elisavet Kozyri, Stephen Chong, Andrew C. Myers
Expressing Information Flow Properties. Found. Trends Priv. Secur. 3 (1) (2022)
Mae Milano, Joshua Turcotti, Andrew C. Myers
A flexible type system for fearless concurrency. PLDI (2022)
Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, Andrew C. Myers
PDL: a high-level hardware design language for pipelined processors. PLDI (2022)
Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs (Technical Report). IACR Cryptol. ePrint Arch. 2021 (2021)
Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers
Compositional Security for Reentrant Applications. CoRR (2021)
Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers
Compositional Security for Reentrant Applications. IEEE Symposium on Security and Privacy (2021)
Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi
Viaduct: an extensible, optimizing compiler for secure distributed programs. PLDI (2021)
Owen Arden, Anitha Gollamudi, Ethan Cecchetti, Stephen Chong, Andrew C. Myers
A Calculus for Flow-Limited Authorization. CoRR (2021)
Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers
Handling bidirectional control flow. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Drew Zagieboylo, G. Edward Suh, Andrew C. Myers
The Cost of Software-Based Memory Management Without Virtual Memory. CoRR (2020)
Jacopo Banfi, Yizhou Zhang, G. Edward Suh, Andrew C. Myers, Mark E. Campbell
Path Planning Under Malicious Injections and Removals of Perceived Obstacles: A Probabilistic Programming Approach. IEEE Robotics Autom. Lett. 5 (4) (2020)
Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers
Handling Bidirectional Control Flow: Technical Report. CoRR (2020)
Isaac C. Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers
Heterogeneous Paxos: Technical Report. CoRR (2020)
Isaac C. Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers
Heterogeneous Paxos. OPODIS (2020)
Mulong Luo, Andrew C. Myers, G. Edward Suh
Stealthy Tracking of Autonomous Vehicles with Cache Side Channels. USENIX Security Symposium (2020)
Matthew Milano, Rolph Recto, Tom Magrino, Andrew C. Myers
A Tour of Gallifrey, a Language for Geodistributed Programming. SNAPL (2019)
Andrew C. Myers
Editorial. ACM Trans. Program. Lang. Syst. 41 (2) (2019)
Tom Magrino, Jed Liu, Nate Foster, Johannes Gehrke, Andrew C. Myers
Efficient, Consistent Distributed Computation with Predictive Treaties. EuroSys (2019)
Yizhou Zhang, Andrew C. Myers
Abstraction-safe effect handlers via tunneling. Proc. ACM Program. Lang. 3 (POPL) (2019)
Isaac C. Sheff, Xinwen Wang, Haobin Ni, Robbert van Renesse, Andrew C. Myers
Charlotte: Composable Authenticated Distributed Data Structures, Technical Report. CoRR (2019)
Drew Zagieboylo, G. Edward Suh, Andrew C. Myers
Using Information Flow to Design an ISA that Controls Timing Channels. CSF (2019)
Elisavet Kozyri, Owen Arden, Andrew C. Myers, Fred B. Schneider
JRIF: Reactive Information Flow Control for Java. Foundations of Security, Protocols, and Equational Reasoning (2019)
Jed Liu, Joe Corbett-Davies, Andrew Ferraiuolo, Alexander Ivanov, Mulong Luo, G. Edward Suh, Andrew C. Myers, Mark E. Campbell
Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control. CPS-SPC@CCS (2018)
Andrew Ferraiuolo, Mark Zhao, Andrew C. Myers, G. Edward Suh
HyperFlow: A Processor Architecture for Nonmalleable, Timing-Safe Information Flow Security. CCS (2018)
Matthew Milano, Andrew C. Myers
MixT: a language for mixing consistency in geodistributed transactions. PLDI (2018)
Isaac C. Sheff, Xinwen Wang, Andrew C. Myers, Robbert van Renesse
A Web of Blocks. CoRR (2018)
Ethan Cecchetti, Andrew C. Myers, Owen Arden
Nonmalleable Information Flow Control. CCS (2017)
Ethan Cecchetti, Andrew C. Myers, Owen Arden
Nonmalleable Information Flow: Technical Report. CoRR (2017)
Yizhou Zhang, Andrew C. Myers
Familia: unifying interfaces, type classes, and family polymorphism. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Andrew Ferraiuolo, Weizhe Hua, Andrew C. Myers, G. Edward Suh
Secure Information Flow Verification with Mutable Dependent Types. DAC (2017)
Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C. Myers, G. Edward Suh
Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis. ASPLOS (2017)
Ian Arawjo, Cheng-Yao Wang, Andrew C. Myers, Erik Andersen, François Guimbretière
Teaching Programming with Gamified Semantics. CHI (2017)
Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones
SHErrLoc: A Static Holistic Error Locator. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
Jed Liu, Owen Arden, Michael D. George, Andrew C. Myers
Fabric: Building open distributed systems securely by construction. J. Comput. Secur. 25 (4-5) (2017)
Stephen Chong, Joshua D. Guttman, Anupam Datta, Andrew C. Myers, Benjamin C. Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich
Report on the NSF Workshop on Formal Methods for Security. CoRR (2016)
Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers
Accepting blame for safe tunneled exceptions. PLDI (2016)
Andrew Ferraiuolo, Yao Wang, Danfeng Zhang, Andrew C. Myers, G. Edward Suh
Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller. HPCA (2016)
Isaac C. Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse
Safe Serializable Secure Scheduling: Transactions and the Trade-off Between Security and Consistency. CoRR (2016)
Isaac C. Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse
Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency. CCS (2016)
Owen Arden, Andrew C. Myers
A Calculus for Flow-Limited Authorization. CSF (2016)
Yao Wang, Andrew Ferraiuolo, Danfeng Zhang, Andrew C. Myers, G. Edward Suh
SecDCP: secure dynamic cache partitioning for efficient timing channel protection. DAC (2016)
Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones
Diagnosing type errors with class. PLDI (2015)
Danfeng Zhang, Yao Wang, G. Edward Suh, Andrew C. Myers
A Hardware Design Language for Timing-Sensitive Information-Flow Security. ASPLOS (2015)
Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers
Lightweight, flexible object-oriented generics. PLDI (2015)
Chinawat Isradisaikul, Andrew C. Myers
Finding counterexamples from parsing conflicts. PLDI (2015)
Owen Arden, Jed Liu, Andrew C. Myers
Flow-Limited Authorization. CSF (2015)
Jed Liu, Andrew C. Myers
Defining and Enforcing Referential Security. POST (2014)
Jed Liu, Tom Magrino, Owen Arden, Michael D. George, Andrew C. Myers
Warranties for Faster Strong Consistency. NSDI (2014)
Alvin Cheung, Samuel Madden, Armando Solar-Lezama, Owen Arden, Andrew C. Myers
Using Program Analysis to Improve Database Applications. IEEE Data Eng. Bull. 37 (1) (2014)
Isaac C. Sheff, Robbert van Renesse, Andrew C. Myers
Distributed Protocols and Heterogeneous Trust: Technical Report. CoRR (2014)
Lantian Zheng, Andrew C. Myers
A Language-Based Approach to Secure Quorum Replication. PLAS@ECOOP (2014)
Danfeng Zhang, Andrew C. Myers
Toward general diagnosis of static errors. POPL (2014)
Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers
StatusQuo: Making Familiar Abstractions Perform Using Program Analysis. CIDR (2013)
Andrew C. Myers
How languages can save distributed computing. POPL (2013)
Chinawat Isradisaikul, Andrew C. Myers
Reconciling exhaustive pattern matching with objects. PLDI (2013)
Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers
Speeding up database applications with Pyxis. SIGMOD Conference (2013)
Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers
Automatic Partitioning of Database Applications. Proc. VLDB Endow. 5 (11) (2012)
Andrew C. Myers, Michael Backes
Preface. J. Comput. Secur. 20 (6) (2012)
Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, Andrew C. Myers
Sharing Mobile Code Securely with Information Flow Control. IEEE Symposium on Security and Privacy (2012)
Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers
Automatic Partitioning of Database Applications CoRR (2012)
Danfeng Zhang, Aslan Askarov, Andrew C. Myers
Language-based control and mitigation of timing channels. PLDI (2012)
Danfeng Zhang, Aslan Askarov, Andrew C. Myers
Predictive mitigation of timing channels in interactive systems. CCS (2011)
Aslan Askarov, Andrew C. Myers
Attacker Control and Impact for Confidentiality and Integrity Log. Methods Comput. Sci. 7 (3) (2011)
Andrew C. Myers
Toward Securely Programming the Internet. ICISS (2010)
Aslan Askarov, Andrew C. Myers
A Semantic Framework for Declassification and Endorsement. ESOP (2010)
Xin Qi, Andrew C. Myers
Homogeneous family sharing. OOPSLA (2010)
Aslan Askarov, Danfeng Zhang, Andrew C. Myers
Predictive black-box mitigation of timing channels. CCS (2010)
Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider
Quantifying information flow with beliefs. J. Comput. Secur. 17 (5) (2009)
Xin Qi, Andrew C. Myers
Sharing classes between families. PLDI (2009)
Andrew C. Myers
Technical perspective - Reframing security for the web. Commun. ACM 52 (6) (2009)
Xin Qi, Andrew C. Myers
Masked types for sound object initialization. POPL (2009)
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) (2009)
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)
Andrew C. Myers
Guiding Distributed Systems Synthesis with Language-Based Security Policies. FMOODS (2008)
Alan Shieh, Andrew C. Myers, Emin Gün Sirer
A stateless approach to connection-oriented protocols. ACM Trans. Comput. Syst. 26 (3) (2008)
Michael R. Clarkson, Stephen Chong, Andrew C. Myers
Civitas: Toward a Secure Voting System. IEEE Symposium on Security and Privacy (2008)
Lantian Zheng, Andrew C. Myers
Securing nonintrusive web encryption through information flow. PLAS (2008)
Stephen Chong, Andrew C. Myers
End-to-End Enforcement of Erasure and Declassification. CSF (2008)
Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld
07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security (2007)
Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng
Secure web application via automatic partitioning. SOSP (2007)
Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld
07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security (2007)
Lantian Zheng, Andrew C. Myers
Dynamic security labels and static information flow control. Int. J. Inf. Sec. 6 (2-3) (2007)
Stephen Chong, K. Vikram, Andrew C. Myers
SIF: Enforcing Confidentiality and Integrity in Web Applications. USENIX Security Symposium (2007)
Michael E. Clarkson, Stephen Chong, Andrew C. Myers
Civitas: A Secure Remote Voting System. Frontiers of Electronic Voting (2007)
Jed Liu, Aaron Kimball, Andrew C. Myers
Interruptible iterators. POPL (2006)
Stephen Chong, Andrew C. Myers
Decentralized Robustness. CSFW (2006)
Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
Enforcing Robust Declassification and Qualified Robustness. J. Comput. Secur. 14 (2) (2006)
Nathaniel Nystrom, Xin Qi, Andrew C. Myers
J&: nested intersection for scalable software composition. OOPSLA (2006)
Stephen Chong, Andrew C. Myers
Language-Based Information Erasure. CSFW (2005)
Alan Shieh, Andrew C. Myers, Emin Gün Sirer
Trickles: A Stateless Network Stack for Improved Scalability, Resilience, and Flexibility. NSDI (2005)
Chavdar Botev, Hubert Chao, Theodore Chao, Yim Cheng, Raymond Doyle, Sergey Grankin, Jon Guarino, Saikat Guha, Pei-Chen Lee, Dan Perry, Christopher Ré, 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)
Lantian Zheng, Andrew C. Myers
End-to-End Availability Policies and Noninterference. CSFW (2005)
Andrew C. Myers
Making distributed systems secure with program analysis and transformation. PASTE (2005)
Andrew C. Myers
Programming with Explicit Security Policies. ESOP (2005)
Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider
Belief in Information Flow. CSFW (2005)

Andrew C. Myers.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrew C. Myers