Get my own profile
Public access
View all6 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Vincent GramoliUniversity of Sydney and EPFLVerified email at sydney.edu.au
Asaf CidonColumbia UniversityVerified email at columbia.edu
Mathias LécuyerUniversity of British ColumbiaVerified email at ubc.ca
Roxana GeambasuAssistant Professor of Computer Science, Columbia UniversityVerified email at columbia.edu
Kelly KostopoulouColumbia UniversityVerified email at cs.columbia.edu
Francis BachInria - Ecole Normale SupérieureVerified email at inria.fr
Théo RyffelEcole Normale SupérieureVerified email at ens.fr
David PointchevalChief Scientific Officer at CosmianVerified email at ens.fr
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Josef WidderInformal SystemsVerified email at informal.systems
Marijana LazićPostdoc, TU MünchenVerified email at in.tum.de
Igor KonnovIndependent Security and Formal Methods ResearcherVerified email at konnov.phd
Mingen PanColumbia UniversityVerified email at columbia.edu
Junfeng YangAssociate Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Mosharaf ChowdhuryUniversity of MichiganVerified email at umich.edu
Benjamin M CaseResearch Scientist, MetaVerified email at meta.com
Janardhan KulkarniMicrosoft Research, RedmondVerified email at cs.washington.edu
Robert SimSr. Principal Research Manager, MicrosoftVerified email at microsoft.com
Huseyin A. InanMicrosoft Research AIVerified email at microsoft.com