Andrew C. Myers

138 papers A* 41A 16B 3C 1Misc 3Journal 43Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Sequential Specifications for Precise Hardware Exceptions. ASPLOS (1) Yulun Yao, Drew Zagieboylo, Andrew C. Myers, G. Edward Suh
2025	J	`jnl`	An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report). CoRR Silei Ren, Cosku Acay, Andrew C. Myers
2025	—	`conf`	An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference. ESORICS (4) Silei Ren, Cosku Acay, Andrew C. Myers
2024	J	`jnl`	An Array Intermediate Language for Mixed Cryptography. CoRR Vivian Ding, Cosku Acay, Andrew C. Myers
2024	J	`jnl`	SCIF: A Language for Compositional Smart Contract Security. CoRR Siqiu Yao, Haobin Ni, Andrew C. Myers, Ethan Cecchetti
2024	J	`jnl`	Secure Synthesis of Distributed Cryptographic Applications (Technical Report). CoRR Cosku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers
2024	A	`conf`	Secure Synthesis of Distributed Cryptographic Applications. CSF Cosku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers
2023	J	`jnl`	A Compiler from Array Programs to Vectorized Homomorphic Encryption. CoRR Rolph Recto, Andrew C. Myers
2023	J	`jnl`	Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications. ACM Trans. Comput. Syst. Isaac C. Sheff, Xinwen Wang, Kushal Babel, Haobin Ni, Robbert van Renesse, Andrew C. Myers
2023	A*	`conf`	SpecVerilog: Adapting Information Flow Control for Secure Speculation. CCS Drew Zagieboylo, Charles Sherk, Andrew C. Myers, G. Edward Suh
2022	A*	`conf`	A flexible type system for fearless concurrency. PLDI Mae Milano, Joshua Turcotti, Andrew C. Myers
2022	J	`jnl`	Expressing Information Flow Properties. Found. Trends Priv. Secur. Elisavet Kozyri, Stephen Chong, Andrew C. Myers
2022	A*	`conf`	PDL: a high-level hardware design language for pipelined processors. PLDI Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, Andrew C. Myers
2021	J	`jnl`	A Calculus for Flow-Limited Authorization. CoRR Owen Arden, Anitha Gollamudi, Ethan Cecchetti, Stephen Chong, Andrew C. Myers
2021	A*	`conf`	Compositional Security for Reentrant Applications. SP Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers
2021	J	`jnl`	Compositional Security for Reentrant Applications. CoRR Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers
2021	J	`jnl`	Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs (Technical Report). IACR Cryptol. ePrint Arch. Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi
2021	A*	`conf`	Viaduct: an extensible, optimizing compiler for secure distributed programs. PLDI Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi
2020	J	`jnl`	Handling Bidirectional Control Flow: Technical Report. CoRR Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers
2020	J	`jnl`	Handling bidirectional control flow. Proc. ACM Program. Lang. Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers
2020	B	`conf`	Heterogeneous Paxos. OPODIS Isaac C. Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers
2020	J	`jnl`	Heterogeneous Paxos: Technical Report. CoRR Isaac C. Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers
2020	J	`jnl`	Path Planning Under Malicious Injections and Removals of Perceived Obstacles: A Probabilistic Programming Approach. IEEE Robotics Autom. Lett. Jacopo Banfi, Yizhou Zhang, G. Edward Suh, Andrew C. Myers, Mark E. Campbell
2020	A*	`conf`	Stealthy Tracking of Autonomous Vehicles with Cache Side Channels. USENIX Security Symposium Mulong Luo, Andrew C. Myers, G. Edward Suh
2020	J	`jnl`	The Cost of Software-Based Memory Management Without Virtual Memory. CoRR Drew Zagieboylo, G. Edward Suh, Andrew C. Myers
2019	—	`conf`	A Tour of Gallifrey, a Language for Geodistributed Programming. SNAPL Mae Milano, Rolph Recto, Tom Magrino, Andrew C. Myers
2019	J	`jnl`	Abstraction-safe effect handlers via tunneling. Proc. ACM Program. Lang. Yizhou Zhang, Andrew C. Myers
2019	J	`jnl`	Charlotte: Composable Authenticated Distributed Data Structures, Technical Report. CoRR Isaac C. Sheff, Xinwen Wang, Haobin Ni, Robbert van Renesse, Andrew C. Myers
2019	J	`jnl`	Editorial. ACM Trans. Program. Lang. Syst. Andrew C. Myers
2019	A	`conf`	Efficient, Consistent Distributed Computation with Predictive Treaties. EuroSys Tom Magrino, Jed Liu, Nate Foster, Johannes Gehrke, Andrew C. Myers
2019	—	`conf`	JRIF: Reactive Information Flow Control for Java. Foundations of Security, Protocols, and Equational Reasoning Elisavet Kozyri, Owen Arden, Andrew C. Myers, Fred B. Schneider
2019	A	`conf`	Using Information Flow to Design an ISA that Controls Timing Channels. CSF Drew Zagieboylo, G. Edward Suh, Andrew C. Myers
2018	J	`jnl`	A Web of Blocks. CoRR Isaac C. Sheff, Xinwen Wang, Andrew C. Myers, Robbert van Renesse
2018	A*	`conf`	HyperFlow: A Processor Architecture for Nonmalleable, Timing-Safe Information Flow Security. CCS Andrew Ferraiuolo, Mark Zhao, Andrew C. Myers, G. Edward Suh
2018	A*	`conf`	MixT: a language for mixing consistency in geodistributed transactions. PLDI Mae Milano, Andrew C. Myers
2018	—	`conf`	Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control. CPS-SPC@CCS Jed Liu, Joe Corbett-Davies, Andrew Ferraiuolo, Alexander Ivanov, Mulong Luo, G. Edward Suh, Andrew C. Myers, Mark E. Campbell
2017	J	`jnl`	Fabric: Building open distributed systems securely by construction. J. Comput. Secur. Jed Liu, Owen Arden, Michael D. George, Andrew C. Myers
2017	J	`jnl`	Familia: unifying interfaces, type classes, and family polymorphism. Proc. ACM Program. Lang. Yizhou Zhang, Andrew C. Myers
2017	J	`jnl`	Foreword. ACM Trans. Program. Lang. Syst. Andrew C. Myers
2017	A*	`conf`	Nonmalleable Information Flow Control. CCS Ethan Cecchetti, Andrew C. Myers, Owen Arden
2017	J	`jnl`	Nonmalleable Information Flow: Technical Report. CoRR Ethan Cecchetti, Andrew C. Myers, Owen Arden
2017	J	`jnl`	SHErrLoc: A Static Holistic Error Locator. ACM Trans. Program. Lang. Syst. Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones
2017	A*	`conf`	Secure Information Flow Verification with Mutable Dependent Types. DAC Andrew Ferraiuolo, Weizhe Hua, Andrew C. Myers, G. Edward Suh
2017	A*	`conf`	Teaching Programming with Gamified Semantics. CHI Ian Arawjo, Cheng-Yao Wang, Andrew C. Myers, Erik Andersen, François Guimbretière
2017	A*	`conf`	Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis. ASPLOS Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C. Myers, G. Edward Suh
2016	A	`conf`	A Calculus for Flow-Limited Authorization. CSF Owen Arden, Andrew C. Myers
2016	A*	`conf`	Accepting blame for safe tunneled exceptions. PLDI Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers
2016	A*	`conf`	Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller. HPCA Andrew Ferraiuolo, Yao Wang, Danfeng Zhang, Andrew C. Myers, G. Edward Suh
2016	A*	`ed.`	Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016 CCS Edgar R. Weippl, Stefan Katzenbeisser, Christopher Kruegel, Andrew C. Myers, Shai Halevi
2016	J	`jnl`	Report on the NSF Workshop on Formal Methods for Security. CoRR Stephen Chong, Joshua D. Guttman, Anupam Datta, Andrew C. Myers, Benjamin C. Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich
2016	A*	`conf`	Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency. CCS Isaac C. Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse
2016	J	`jnl`	Safe Serializable Secure Scheduling: Transactions and the Trade-off Between Security and Consistency. CoRR Isaac C. Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse
2016	A*	`conf`	SecDCP: secure dynamic cache partitioning for efficient timing channel protection. DAC Yao Wang, Andrew Ferraiuolo, Danfeng Zhang, Andrew C. Myers, G. Edward Suh
2015	A*	`conf`	A Hardware Design Language for Timing-Sensitive Information-Flow Security. ASPLOS Danfeng Zhang, Yao Wang, G. Edward Suh, Andrew C. Myers
2015	A*	`conf`	Diagnosing type errors with class. PLDI Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones
2015	A*	`conf`	Finding counterexamples from parsing conflicts. PLDI Chinawat Isradisaikul, Andrew C. Myers
2015	A	`conf`	Flow-Limited Authorization. CSF Owen Arden, Jed Liu, Andrew C. Myers
2015	A*	`conf`	Lightweight, flexible object-oriented generics. PLDI Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers
2015	—	`ed.`	Principles of Security and Trust - 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings POST Riccardo Focardi, Andrew C. Myers
2014	—	`conf`	A Language-Based Approach to Secure Quorum Replication. PLAS@ECOOP Lantian Zheng, Andrew C. Myers
2014	—	`conf`	Defining and Enforcing Referential Security. POST Jed Liu, Andrew C. Myers
2014	J	`jnl`	Distributed Protocols and Heterogeneous Trust: Technical Report. CoRR Isaac C. Sheff, Robbert van Renesse, Andrew C. Myers
2014	A*	`conf`	Toward general diagnosis of static errors. POPL Danfeng Zhang, Andrew C. Myers
2014	J	`jnl`	Using Program Analysis to Improve Database Applications. IEEE Data Eng. Bull. Alvin Cheung, Samuel Madden, Armando Solar-Lezama, Owen Arden, Andrew C. Myers
2014	Misc	`conf`	Warranties for Faster Strong Consistency. NSDI Jed Liu, Tom Magrino, Owen Arden, Michael D. George, Andrew C. Myers
2013	A*	`conf`	How languages can save distributed computing. POPL Andrew C. Myers
2013	A*	`conf`	Reconciling exhaustive pattern matching with objects. PLDI Chinawat Isradisaikul, Andrew C. Myers
2013	—	`conf`	Speeding up database applications with Pyxis. SIGMOD Conference Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers
2013	A	`conf`	StatusQuo: Making Familiar Abstractions Perform Using Program Analysis. CIDR Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers
2012	J	`jnl`	Automatic Partitioning of Database Applications CoRR Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers
2012	J	`jnl`	Automatic Partitioning of Database Applications. Proc. VLDB Endow. Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers
2012	A*	`conf`	Language-based control and mitigation of timing channels. PLDI Danfeng Zhang, Aslan Askarov, Andrew C. Myers
2012	J	`jnl`	Preface. J. Comput. Secur. Andrew C. Myers, Michael Backes
2012	A*	`conf`	Sharing Mobile Code Securely with Information Flow Control. IEEE Symposium on Security and Privacy Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, Andrew C. Myers
2011	J	`jnl`	Attacker Control and Impact for Confidentiality and Integrity Log. Methods Comput. Sci. Aslan Askarov, Andrew C. Myers
2011	A*	`conf`	Predictive mitigation of timing channels in interactive systems. CCS Danfeng Zhang, Aslan Askarov, Andrew C. Myers
2010	A	`conf`	A Semantic Framework for Declassification and Endorsement. ESOP Aslan Askarov, Andrew C. Myers
2010	A	`conf`	Homogeneous family sharing. OOPSLA Xin Qi, Andrew C. Myers
2010	A*	`conf`	Predictive black-box mitigation of timing channels. CCS Aslan Askarov, Danfeng Zhang, Andrew C. Myers
2010	Misc	`conf`	Toward Securely Programming the Internet. ICISS Andrew C. Myers
2010	—	`ch.`	Using Security Policies to Write Secure Software. Logics and Languages for Reliability and Security Andrew C. Myers
2009	J	`jnl`	Building secure web applications with automatic partitioning. Commun. ACM Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng
2009	A*	`conf`	Fabric: a platform for secure distributed computation and storage. SOSP Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers
2009	A*	`conf`	Masked types for sound object initialization. POPL Xin Qi, Andrew C. Myers
2009	J	`jnl`	Quantifying information flow with beliefs. J. Comput. Secur. Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider
2009	A*	`conf`	Sharing classes between families. PLDI Xin Qi, Andrew C. Myers
2009	J	`jnl`	Technical perspective - Reframing security for the web. Commun. ACM Andrew C. Myers
2008	J	`jnl`	A stateless approach to connection-oriented protocols. ACM Trans. Comput. Syst. Alan Shieh, Andrew C. Myers, Emin Gün Sirer
2008	A*	`conf`	Civitas: Toward a Secure Voting System. SP Michael R. Clarkson, Stephen Chong, Andrew C. Myers
2008	A	`conf`	End-to-End Enforcement of Erasure and Declassification. CSF Stephen Chong, Andrew C. Myers
2008	—	`conf`	Guiding Distributed Systems Synthesis with Language-Based Security Policies. FMOODS Andrew C. Myers
2008	—	`conf`	Securing nonintrusive web encryption through information flow. PLAS Lantian Zheng, Andrew C. Myers
2007	—	`conf`	07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld
2007	—	`conf`	07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld
2007	—	`conf`	Civitas: A Secure Remote Voting System. Frontiers of Electronic Voting Michael E. Clarkson, Stephen Chong, Andrew C. Myers
2007	J	`jnl`	Dynamic security labels and static information flow control. Int. J. Inf. Sec. Lantian Zheng, Andrew C. Myers
2007	—	`ed.`	Mobility, Ubiquity and Security, 25.02. - 02.03.2007 Mobility, Ubiquity and Security Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld
2007	A*	`conf`	SIF: Enforcing Confidentiality and Integrity in Web Applications. USENIX Security Symposium Stephen Chong, K. Vikram, Andrew C. Myers
2007	A*	`conf`	Secure web application via automatic partitioning. SOSP Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng
2006	—	`conf`	Decentralized Robustness. CSFW Stephen Chong, Andrew C. Myers
2006	J	`jnl`	Enforcing Robust Declassification and Qualified Robustness. J. Comput. Secur. Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
2006	A*	`conf`	Interruptible iterators. POPL Jed Liu, Aaron Kimball, Andrew C. Myers
2006	A	`conf`	J&: nested intersection for scalable software composition. OOPSLA Nathaniel Nystrom, Xin Qi, Andrew C. Myers
2005	—	`conf`	Belief in Information Flow. CSFW Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider
2005	—	`conf`	End-to-End Availability Policies and Noninterference. CSFW Lantian Zheng, Andrew C. Myers
2005	—	`conf`	Language-Based Information Erasure. CSFW Stephen Chong, Andrew C. Myers
2005	—	`conf`	Making distributed systems secure with program analysis and transformation. PASTE Andrew C. Myers
2005	A	`conf`	Programming with Explicit Security Policies. ESOP Andrew C. Myers
2005	A	`conf`	Supporting workflow in a course management system. SIGCSE 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
2005	Misc	`conf`	Trickles: A Stateless Network Stack for Improved Scalability, Resilience, and Flexibility. NSDI Alan Shieh, Andrew C. Myers, Emin Gün Sirer
2004	—	`conf`	Dynamic Security Labels and Noninterference (Extended Abstract). Formal Aspects in Security and Trust Lantian Zheng, Andrew C. Myers
2004	—	`conf`	Enforcing Robust Declassification. CSFW Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
2004	A	`conf`	Scalable extensibility via nested inheritance. OOPSLA Nathaniel Nystrom, Stephen Chong, Andrew C. Myers
2004	A*	`conf`	Security policies for downgrading. CCS Stephen Chong, Andrew C. Myers
2003	—	`conf`	A Model for Delimited Information Release. ISSS Andrei Sabelfeld, Andrew C. Myers
2003	C	`conf`	JMatch: Iterable Abstract Pattern Matching for Java. PADL Jed Liu, Andrew C. Myers
2003	J	`jnl`	Language-based information-flow security. IEEE J. Sel. Areas Commun. Andrei Sabelfeld, Andrew C. Myers
2003	—	`conf`	Observational Determinism for Concurrent Program Security. CSFW Steve Zdancewic, Andrew C. Myers
2003	B	`conf`	Polyglot: An Extensible Compiler Framework for Java. CC Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers
2003	—	`conf`	Using Replication and Partitioning to Build Secure Distributed Systems. S&P Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic
2002	J	`jnl`	Secure Information Flow via Linear Continuations. High. Order Symb. Comput. Steve Zdancewic, Andrew C. Myers
2002	J	`jnl`	Secure program partitioning. ACM Trans. Comput. Syst. Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers
2001	—	`conf`	Robust Declassification. CSFW Steve Zdancewic, Andrew C. Myers
2001	A	`conf`	Secure Information Flow and CPS. ESOP Steve Zdancewic, Andrew C. Myers
2001	B	`conf`	Security-Typed Languages and Distributed Computation. SAS Andrew C. Myers
2001	A*	`conf`	Untrusted Hosts and Confidentiality: Secure Program Partitioning. SOSP Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers
2000	J	`jnl`	Protecting privacy using the decentralized label model. ACM Trans. Softw. Eng. Methodol. Andrew C. Myers, Barbara Liskov
1999	A*	`conf`	JFlow: Practical Mostly-Static Information Flow Control. POPL Andrew C. Myers
1999	—	`—`	Mostly-static decentralized information flow control. Andrew C. Myers
1998	—	`conf`	Complete, Safe Information Flow with Decentralized Labels. S&P Andrew C. Myers, Barbara Liskov
1997	A*	`conf`	A Decentralized Model for Information Flow Control. SOSP Andrew C. Myers, Barbara Liskov
1997	A*	`conf`	HAC: Hybrid Adaptive Caching for Distributed Storage Systems. SOSP Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers
1997	A*	`conf`	Parameterized Types for Java. POPL Andrew C. Myers, Joseph A. Bank, Barbara Liskov
1996	—	`conf`	Safe and Efficient Sharing of Persistent Objects in Thor. SIGMOD Conference Barbara Liskov, Atul Adya, Miguel Castro, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew C. Myers, Liuba Shrira
1995	A	`conf`	Bidirectional Object Layout for Separate Compilation. OOPSLA Andrew C. Myers
1995	A	`conf`	Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. OOPSLA Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers
1993	J	`jnl`	References to Remote Mobile Objects in Thor. LOPLAS Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers
1993	—	`conf`	Resolving the Integrity/Performance Conflict. Workshop on Workstation Operating Systems Andrew C. Myers