Andrew C. Myers
Scholar

Andrew C. Myers

Google Scholar ID: ovlpa_IAAAAJ
Class of 1912 Professor of Engineering, Dept. of Computer Science, Cornell University
Programming LanguagesSecuritySystems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
17,346
 
H-index
61
 
i10-index
105
 
Publications
20
 
Co-authors
70
list available
Publications
3 items
Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary
2026
Cited
0
An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
2025
Cited
0
A Language for Smart Contracts with Secure Control Flow (Technical Report)
2024
Cited
0
Co-authors
7 total
Steve Zdancewic
Steve Zdancewic
Professor of Computer and Information Science, University of Pennsylvania
Danfeng Zhang
Danfeng Zhang
Duke University
Edward Suh
Edward Suh
NVIDIA / Cornell University
Nathaniel Nystrom
Nathaniel Nystrom
RelationalAI
Aslan Askarov
Aslan Askarov
Associate Professor at Aarhus University
Andrew Ferraiuolo
Andrew Ferraiuolo
Certora (Startup), Google, Cornell University
Yizhou Zhang
Yizhou Zhang
University of Waterloo