Andrew C. Myers
Professor
Computer Science DEPT · BCIS
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
130.3x expected for field · 1,885 citations
Recent Papers (9)
2025-12-11
Sequential Specifications for Precise Hardware Exceptions
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