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
Contact
No contact links provided.
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
Resume (English only)
Co-authors
70 total
Co-author 1
Co-author 1
Steve Zdancewic
Steve Zdancewic
Professor of Computer and Information Science, University of Pennsylvania
Danfeng Zhang
Danfeng Zhang
Duke University
Co-author 4
Co-author 4
Edward Suh
Edward Suh
NVIDIA / Cornell University
Co-author 6
Co-author 6
Nathaniel Nystrom
Nathaniel Nystrom
RelationalAI
Co-author 8
Co-author 8