Get my own profile
Public access
View all15 articles
1 article
available
not available
Based on funding mandates
Co-authors
Ari JuelsProfessor, Computer Science, Cornell Tech (Jacobs); Co-Director, IC3Verified email at cornell.edu
Andrew MillerUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Dawn SongProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
Elaine ShiCarnegie Mellon UniversityVerified email at cs.cmu.edu
Ethan CecchettiAssistant Professor of Computer Sciences, University of Wisconsin–MadisonVerified email at wisc.edu
Deepak MaramSenior Research Scientist, Mysten LabsVerified email at cornell.edu
Michael ReiterJames B. Duke Distinguished Professor, Duke UniversityVerified email at duke.edu
Philip DaianPhD Student, Cornell UniversityVerified email at cs.cornell.edu
Ittay EyalAssociate Professor, ECE, TechnionVerified email at technion.ac.il
Steven GoldfederCornell TechVerified email at cornell.edu
Thomas RistenpartProfessor of Computer Science, Cornell TechVerified email at cornell.edu
Harjasleen MalvaiPhD Student in Computer Science, UIUCVerified email at illinois.edu
Kartik NayakDuke UniversityVerified email at cs.duke.edu
Yan JiPhD Student in Computer Science, Cornell UniversityVerified email at CORNELL.EDU
Luyao ZhangDuke Kunshan UniversityVerified email at duke.edu
Sen YangYale UniversityVerified email at yale.edu
Mahimna KelkarCornell UniversityVerified email at cs.cornell.edu
Ian MiersUniversity of MarylandVerified email at umd.edu
Dan BonehProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Tiancheng XieUniversity of California, BerkeleyVerified email at berkeley.edu