Resolving the Integrity/Performance Conflict. - Andrew C. Myers (Workshop on Workstation Operating Systems, 1993)

References to Remote Mobile Objects in Thor. - Mark Day; Barbara Liskov; Umesh Maheshwari; Andrew C. Myers (LOPLAS, 1993)

Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. - Mark Day; Robert Gruber; Barbara Liskov; Andrew C. Myers (OOPSLA, 1995)

Bidirectional Object Layout for Separate Compilation. - Andrew C. Myers (OOPSLA, 1995)

Safe and Efficient Sharing of Persistent Objects in Thor. - Barbara Liskov; Atul Adya; Miguel Castro 001; Mark Day; Sanjay Ghemawat; Robert Gruber; Umesh Maheshwari; Andrew C. Myers; Liuba Shrira (SIGMOD Conference, 1996)

Parameterized Types for Java. - Andrew C. Myers; Joseph A. Bank; Barbara Liskov (POPL, 1997)

HAC: Hybrid Adaptive Caching for Distributed Storage Systems. - Miguel Castro 001; Atul Adya; Barbara Liskov; Andrew C. Myers (SOSP, 1997)

A Decentralized Model for Information Flow Control. - Andrew C. Myers; Barbara Liskov (SOSP, 1997)

Complete, Safe Information Flow with Decentralized Labels. - Andrew C. Myers; Barbara Liskov (S&P, 1998)

JFlow: Practical Mostly-Static Information Flow Control. - Andrew C. Myers (POPL, 1999)

Mostly-static decentralized information flow control. - Andrew C. Myers (1999)

Protecting privacy using the decentralized label model. - Andrew C. Myers; Barbara Liskov (ACM Trans. Softw. Eng. Methodol., 2000)

Robust Declassification. - Steve Zdancewic; Andrew C. Myers (CSFW, 2001)

Secure Information Flow and CPS. - Steve Zdancewic; Andrew C. Myers (ESOP, 2001)

Security-Typed Languages and Distributed Computation. - Andrew C. Myers (SAS, 2001)

Untrusted Hosts and Confidentiality: Secure Program Partitioning. - Steve Zdancewic; Lantian Zheng; Nathaniel Nystrom; Andrew C. Myers (SOSP, 2001)

Secure Information Flow via Linear Continuations. - Steve Zdancewic; Andrew C. Myers (High. Order Symb. Comput., 2002)

Secure program partitioning. - Steve Zdancewic; Lantian Zheng; Nathaniel Nystrom; Andrew C. Myers (ACM Trans. Comput. Syst., 2002)

Polyglot: An Extensible Compiler Framework for Java. - Nathaniel Nystrom; Michael R. Clarkson; Andrew C. Myers (CC, 2003)

Observational Determinism for Concurrent Program Security. - Steve Zdancewic; Andrew C. Myers (CSFW, 2003)

A Model for Delimited Information Release. - Andrei Sabelfeld; Andrew C. Myers (ISSS, 2003)

JMatch: Iterable Abstract Pattern Matching for Java. - Jed Liu; Andrew C. Myers (PADL, 2003)

Using Replication and Partitioning to Build Secure Distributed Systems. - Lantian Zheng; Stephen Chong; Andrew C. Myers; Steve Zdancewic (S&P, 2003)

Language-based information-flow security. - Andrei Sabelfeld; Andrew C. Myers (IEEE J. Sel. Areas Commun., 2003)

Security policies for downgrading. - Stephen Chong; Andrew C. Myers (CCS, 2004)

Enforcing Robust Declassification. - Andrew C. Myers; Andrei Sabelfeld; Steve Zdancewic (CSFW, 2004)

Dynamic Security Labels and Noninterference (Extended Abstract). - Lantian Zheng; Andrew C. Myers (Formal Aspects in Security and Trust, 2004)

Scalable extensibility via nested inheritance. - Nathaniel Nystrom; Stephen Chong; Andrew C. Myers (OOPSLA, 2004)

Language-Based Information Erasure. - Stephen Chong; Andrew C. Myers (CSFW, 2005)

Belief in Information Flow. - Michael R. Clarkson; Andrew C. Myers; Fred B. Schneider (CSFW, 2005)

End-to-End Availability Policies and Noninterference. - Lantian Zheng; Andrew C. Myers (CSFW, 2005)

Programming with Explicit Security Policies. - Andrew C. Myers (ESOP, 2005)

Trickles: A Stateless Network Stack for Improved Scalability, Resilience, and Flexibility. - Alan Shieh; Andrew C. Myers; Emin Gün Sirer (NSDI, 2005)

Making distributed systems secure with program analysis and transformation. - Andrew C. Myers (PASTE, 2005)

Supporting workflow in a course management system. - Chavdar Botev; Hubert Chao; Theodore Chao; Yim Cheng; Raymond Doyle; Sergey Grankin; Jon Guarino; Saikat Guha 002; Pei-Chen Lee; Dan Perry; Christopher Ré; Ilya Rifkin; et al. (SIGCSE, 2005)

Decentralized Robustness. - Stephen Chong; Andrew C. Myers (CSFW, 2006)

J&: nested intersection for scalable software composition. - Nathaniel Nystrom; Xin Qi 012; Andrew C. Myers (OOPSLA, 2006)

Interruptible iterators. - Jed Liu; Aaron Kimball; Andrew C. Myers (POPL, 2006)

Enforcing Robust Declassification and Qualified Robustness. - Andrew C. Myers; Andrei Sabelfeld; Steve Zdancewic (J. Comput. Secur., 2006)

07091 Executive Summary - Mobility, Ubiquity and Security. - Gilles Barthe; Heiko Mantel; Peter Müller 001; Andrew C. Myers; Andrei Sabelfeld (Mobility, Ubiquity and Security, 2007)

07091 Abstracts Collection - Mobility, Ubiquity and Security. - Gilles Barthe; Heiko Mantel; Peter Müller 001; Andrew C. Myers; Andrei Sabelfeld (Mobility, Ubiquity and Security, 2007)

Civitas: A Secure Remote Voting System. - Michael E. Clarkson; Stephen Chong; Andrew C. Myers (Frontiers of Electronic Voting, 2007)

Secure web application via automatic partitioning. - Stephen Chong; Jed Liu; Andrew C. Myers; Xin Qi 012; K. Vikram; Lantian Zheng; Xin Zheng (SOSP, 2007)

SIF: Enforcing Confidentiality and Integrity in Web Applications. - Stephen Chong; K. Vikram; Andrew C. Myers (USENIX Security Symposium, 2007)

Dynamic security labels and static information flow control. - Lantian Zheng; Andrew C. Myers (Int. J. Inf. Sec., 2007)

End-to-End Enforcement of Erasure and Declassification. - Stephen Chong; Andrew C. Myers (CSF, 2008)

Guiding Distributed Systems Synthesis with Language-Based Security Policies. - Andrew C. Myers (FMOODS, 2008)

Securing nonintrusive web encryption through information flow. - Lantian Zheng; Andrew C. Myers (PLAS, 2008)

Civitas: Toward a Secure Voting System. - Michael R. Clarkson; Stephen Chong; Andrew C. Myers (SP, 2008)

A stateless approach to connection-oriented protocols. - Alan Shieh; Andrew C. Myers; Emin Gün Sirer (ACM Trans. Comput. Syst., 2008)

Sharing classes between families. - Xin Qi 012; Andrew C. Myers (PLDI, 2009)

Masked types for sound object initialization. - Xin Qi 012; Andrew C. Myers (POPL, 2009)

Fabric: a platform for secure distributed computation and storage. - Jed Liu; Michael D. George; K. Vikram; Xin Qi 012; Lucas Waye; Andrew C. Myers (SOSP, 2009)

Building secure web applications with automatic partitioning. - Stephen Chong; Jed Liu; Andrew C. Myers; Xin Qi 012; K. Vikram; Lantian Zheng; Xin Zheng (Commun. ACM, 2009)

Technical perspective - Reframing security for the web. - Andrew C. Myers (Commun. ACM, 2009)

Quantifying information flow with beliefs. - Michael R. Clarkson; Andrew C. Myers; Fred B. Schneider (J. Comput. Secur., 2009)

Predictive black-box mitigation of timing channels. - Aslan Askarov; Danfeng Zhang; Andrew C. Myers (CCS, 2010)

A Semantic Framework for Declassification and Endorsement. - Aslan Askarov; Andrew C. Myers (ESOP, 2010)

Toward Securely Programming the Internet. - Andrew C. Myers (ICISS, 2010)

Homogeneous family sharing. - Xin Qi 012; Andrew C. Myers (OOPSLA, 2010)

Using Security Policies to Write Secure Software. - Andrew C. Myers (Logics and Languages for Reliability and Security, 2010)

Predictive mitigation of timing channels in interactive systems. - Danfeng Zhang; Aslan Askarov; Andrew C. Myers (CCS, 2011)

Attacker Control and Impact for Confidentiality and Integrity - Aslan Askarov; Andrew C. Myers (Log. Methods Comput. Sci., 2011)

Language-based control and mitigation of timing channels. - Danfeng Zhang; Aslan Askarov; Andrew C. Myers (PLDI, 2012)

Sharing 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)

Preface. - Andrew C. Myers; Michael Backes 001 (J. Comput. Secur., 2012)

Automatic Partitioning of Database Applications. - Alvin Cheung; Owen Arden; Samuel Madden 001; Andrew C. Myers (Proc. VLDB Endow., 2012)

StatusQuo: Making Familiar Abstractions Perform Using Program Analysis. - Alvin Cheung; Owen Arden; Samuel Madden 001; Armando Solar-Lezama; Andrew C. Myers (CIDR, 2013)

Reconciling exhaustive pattern matching with objects. - Chinawat Isradisaikul; Andrew C. Myers (PLDI, 2013)

How languages can save distributed computing. - Andrew C. Myers (POPL, 2013)

Speeding up database applications with Pyxis. - Alvin Cheung; Owen Arden; Samuel Madden 001; Andrew C. Myers (SIGMOD Conference, 2013)

A Language-Based Approach to Secure Quorum Replication. - Lantian Zheng; Andrew C. Myers (PLAS@ECOOP, 2014)

Warranties for Faster Strong Consistency. - Jed Liu; Tom Magrino; Owen Arden; Michael D. George; Andrew C. Myers (NSDI, 2014)

Toward general diagnosis of static errors. - Danfeng Zhang; Andrew C. Myers (POPL, 2014)

Defining and Enforcing Referential Security. - Jed Liu; Andrew C. Myers (POST, 2014)

Distributed Protocols and Heterogeneous Trust: Technical Report. - Isaac C. Sheff; Robbert van Renesse; Andrew C. Myers (CoRR, 2014)

Using Program Analysis to Improve Database Applications. - Alvin Cheung; Samuel Madden 001; Armando Solar-Lezama; Owen Arden; Andrew C. Myers (IEEE Data Eng. Bull., 2014)

A Hardware Design Language for Timing-Sensitive Information-Flow Security. - Danfeng Zhang; Yao Wang 008; G. Edward Suh; Andrew C. Myers (ASPLOS, 2015)

Flow-Limited Authorization. - Owen Arden; Jed Liu; Andrew C. Myers (CSF, 2015)

Finding counterexamples from parsing conflicts. - Chinawat Isradisaikul; Andrew C. Myers (PLDI, 2015)

Lightweight, flexible object-oriented generics. - Yizhou Zhang 001; Matthew C. Loring; Guido Salvaneschi; Barbara Liskov; Andrew C. Myers (PLDI, 2015)

Diagnosing type errors with class. - Danfeng Zhang; Andrew C. Myers; Dimitrios Vytiniotis; Simon L. Peyton Jones (PLDI, 2015)

Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency. - Isaac C. Sheff; Tom Magrino; Jed Liu; Andrew C. Myers; Robbert van Renesse (CCS, 2016)

A Calculus for Flow-Limited Authorization. - Owen Arden; Andrew C. Myers (CSF, 2016)

SecDCP: secure dynamic cache partitioning for efficient timing channel protection. - Yao Wang 008; Andrew Ferraiuolo; Danfeng Zhang; Andrew C. Myers; G. Edward Suh (DAC, 2016)

Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller. - Andrew Ferraiuolo; Yao Wang 008; Danfeng Zhang; Andrew C. Myers; G. Edward Suh (HPCA, 2016)

Accepting blame for safe tunneled exceptions. - Yizhou Zhang 001; Guido Salvaneschi; Quinn Beightol; Barbara Liskov; Andrew C. Myers (PLDI, 2016)

Report on the NSF Workshop on Formal Methods for Security. - Stephen Chong; Joshua D. Guttman; Anupam Datta; Andrew C. Myers; Benjamin C. Pierce; Patrick Schaumont; Tim Sherwood; Nickolai Zeldovich (CoRR, 2016)

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis. - Andrew Ferraiuolo; Rui Xu; Danfeng Zhang; Andrew C. Myers; G. Edward Suh (ASPLOS, 2017)

Nonmalleable Information Flow Control. - Ethan Cecchetti; Andrew C. Myers; Owen Arden (CCS, 2017)

Teaching Programming with Gamified Semantics. - Ian Arawjo; Cheng-Yao Wang; Andrew C. Myers; Erik Andersen 001; François Guimbretière (CHI, 2017)

Secure Information Flow Verification with Mutable Dependent Types. - Andrew Ferraiuolo; Weizhe Hua; Andrew C. Myers; G. Edward Suh (DAC, 2017)

Nonmalleable Information Flow: Technical Report. - Ethan Cecchetti; Andrew C. Myers; Owen Arden (CoRR, 2017)

Fabric: Building open distributed systems securely by construction. - Jed Liu; Owen Arden; Michael D. George; Andrew C. Myers (J. Comput. Secur., 2017)

Familia: unifying interfaces, type classes, and family polymorphism. - Yizhou Zhang 001; Andrew C. Myers (Proc. ACM Program. Lang., 2017)

Foreword. - Andrew C. Myers (ACM Trans. Program. Lang. Syst., 2017)

SHErrLoc: A Static Holistic Error Locator. - Danfeng Zhang; Andrew C. Myers; Dimitrios Vytiniotis; Simon L. Peyton Jones (ACM Trans. Program. Lang. Syst., 2017)

HyperFlow: A Processor Architecture for Nonmalleable, Timing-Safe Information Flow Security. - Andrew Ferraiuolo; Mark Zhao; Andrew C. Myers; G. Edward Suh (CCS, 2018)

Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control. - Jed Liu; Joe Corbett-Davies; Andrew Ferraiuolo; Alexander Ivanov 002; Mulong Luo; G. Edward Suh; Andrew C. Myers; Mark E. Campbell (CPS-SPC@CCS, 2018)

MixT: a language for mixing consistency in geodistributed transactions. - Mae Milano; Andrew C. Myers (PLDI, 2018)

A Web of Blocks. - Isaac C. Sheff; Xinwen Wang; Andrew C. Myers; Robbert van Renesse (CoRR, 2018)

JRIF: Reactive Information Flow Control for Java. - Elisavet Kozyri; Owen Arden; Andrew C. Myers; Fred B. Schneider (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Using Information Flow to Design an ISA that Controls Timing Channels. - Drew Zagieboylo; G. Edward Suh; Andrew C. Myers (CSF, 2019)

Efficient, Consistent Distributed Computation with Predictive Treaties. - Tom Magrino; Jed Liu; Nate Foster; Johannes Gehrke; Andrew C. Myers (EuroSys, 2019)

A Tour of Gallifrey, a Language for Geodistributed Programming. - Mae Milano; Rolph Recto; Tom Magrino; Andrew C. Myers (SNAPL, 2019)

Charlotte: Composable Authenticated Distributed Data Structures, Technical Report. - Isaac C. Sheff; Xinwen Wang; Haobin Ni; Robbert van Renesse; Andrew C. Myers (CoRR, 2019)

Abstraction-safe effect handlers via tunneling. - Yizhou Zhang 001; Andrew C. Myers (Proc. ACM Program. Lang., 2019)

Editorial. - Andrew C. Myers (ACM Trans. Program. Lang. Syst., 2019)

Heterogeneous Paxos. - Isaac C. Sheff; Xinwen Wang; Robbert van Renesse; Andrew C. Myers (OPODIS, 2020)

Stealthy Tracking of Autonomous Vehicles with Cache Side Channels. - Mulong Luo; Andrew C. Myers; G. Edward Suh (USENIX Security Symposium, 2020)

The Cost of Software-Based Memory Management Without Virtual Memory. - Drew Zagieboylo; G. Edward Suh; Andrew C. Myers (CoRR, 2020)

Handling Bidirectional Control Flow: Technical Report. - Yizhou Zhang 001; Guido Salvaneschi; Andrew C. Myers (CoRR, 2020)

Heterogeneous Paxos: Technical Report. - Isaac C. Sheff; Xinwen Wang; Robbert van Renesse; Andrew C. Myers (CoRR, 2020)

Handling bidirectional control flow. - Yizhou Zhang 001; Guido Salvaneschi; Andrew C. Myers (Proc. ACM Program. Lang., 2020)

Path Planning Under Malicious Injections and Removals of Perceived Obstacles: A Probabilistic Programming Approach. - Jacopo Banfi; Yizhou Zhang 001; G. Edward Suh; Andrew C. Myers; Mark E. Campbell (IEEE Robotics Autom. Lett., 2020)

Viaduct: an extensible, optimizing compiler for secure distributed programs. - Cosku Acay; Rolph Recto; Joshua Gancher; Andrew C. Myers; Elaine Shi (PLDI, 2021)

Compositional Security for Reentrant Applications. - Ethan Cecchetti; Siqiu Yao; Haobin Ni; Andrew C. Myers (SP, 2021)

A Calculus for Flow-Limited Authorization. - Owen Arden; Anitha Gollamudi; Ethan Cecchetti; Stephen Chong; Andrew C. Myers (CoRR, 2021)

Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs (Technical Report). - Cosku Acay; Rolph Recto; Joshua Gancher; Andrew C. Myers; Elaine Shi (IACR Cryptol. ePrint Arch., 2021)

A flexible type system for fearless concurrency. - Mae Milano; Joshua Turcotti; Andrew C. Myers (PLDI, 2022)

PDL: a high-level hardware design language for pipelined processors. - Drew Zagieboylo; Charles Sherk; Gookwon Edward Suh; Andrew C. Myers (PLDI, 2022)

Expressing Information Flow Properties. - Elisavet Kozyri; Stephen Chong; Andrew C. Myers (Found. Trends Priv. Secur., 2022)

SpecVerilog: Adapting Information Flow Control for Secure Speculation. - Drew Zagieboylo; Charles Sherk; Andrew C. Myers; G. Edward Suh (CCS, 2023)

A Compiler from Array Programs to Vectorized Homomorphic Encryption. - Rolph Recto; Andrew C. Myers (CoRR, 2023)

Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications. - Isaac C. Sheff; Xinwen Wang; Kushal Babel; Haobin Ni; Robbert van Renesse; Andrew C. Myers (ACM Trans. Comput. Syst., 2023)

Secure Synthesis of Distributed Cryptographic Applications. - Cosku Acay; Joshua Gancher; Rolph Recto; Andrew C. Myers (CSF, 2024)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report). - Cosku Acay; Joshua Gancher; Rolph Recto; Andrew C. Myers (CoRR, 2024)

SCIF: A Language for Compositional Smart Contract Security. - Siqiu Yao; Haobin Ni; Andrew C. Myers; Ethan Cecchetti (CoRR, 2024)

An Array Intermediate Language for Mixed Cryptography. - Vivian Ding; Cosku Acay; Andrew C. Myers (CoRR, 2024)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report). - Silei Ren; Cosku Acay; Andrew C. Myers (CoRR, 2025)