Andrew C. Myers

Professor
Computer Science DEPT · BCIS

Andrew C. Myers serves as Professor in Computer Science at Cornell University.

211 publications
11,145 citations
49 h-index
Computer Science
Top Papers (1)
2003-01-01 · IEEE Journal on Selected Areas in Communications · Artificial Intelligence
Language-based information-flow security
Andrew C. MyersProfessor, Computer Science DEPT · BCIS
152.3x expected for field · 1,903 citations
Recent Papers (11)
2026-07-17 · arXiv (Cornell University) · Computational Theory and Mathematics
Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary
Andrew C. MyersProfessor, Computer Science DEPT · BCIS
2025-12-11
Sequential Specifications for Precise Hardware Exceptions
Andrew C. MyersProfessor, Computer Science DEPT · BCIS
2025-10-11 · Lecture notes in computer science · Artificial Intelligence
An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference
Andrew C. MyersProfessor, Computer Science DEPT · BCIS
2021-05-01
Compositional Security for Reentrant Applications
Andrew C. MyersProfessor, Computer Science DEPT · BCIS
2021-04-21
A Calculus for Flow-Limited Authorization
Andrew C. MyersProfessor, Computer Science DEPT · BCIS
2020-11-16
Heterogeneous Paxos: Technical Report
Robbert van RenesseProfessor, Computer Science DEPT · BCIS
Andrew C. MyersProfessor, Computer Science DEPT · BCIS
2019-05-09
Charlotte: Composable Authenticated Distributed Data Structures, Technical Report
Robbert van RenesseProfessor, Computer Science DEPT · BCIS
Andrew C. MyersProfessor, Computer Science DEPT · BCIS
2017-10-27
Nonmalleable Information Flow Control
Andrew C. MyersProfessor, Computer Science DEPT · BCIS
2016-08-17
Safe Serializable Secure Scheduling: Transactions and the Trade-off Between Security and Consistency
Andrew C. MyersProfessor, Computer Science DEPT · BCIS
Robbert van RenesseProfessor, Computer Science DEPT · BCIS
2016-08-02
Report on the NSF Workshop on Formal Methods for Security
Andrew C. MyersProfessor, Computer Science DEPT · BCIS
2011-09-26
Attacker Control and Impact for Confidentiality and Integrity
Andrew MyersProfessor, Computer Science DEPT · BCIS