Get my own profile
Public access
View all5 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
- 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
- Francis BachInria - Ecole Normale SupérieureVerified email at inria.fr
- Théo RyffelEcole Normale SupérieureVerified email at ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaVerified email at ens.fr
- Rob van GlabbeekUNSWVerified email at cs.stanford.edu
- Mingen PanColumbia UniversityVerified email at columbia.edu
- Kelly KostopoulouColumbia UniversityVerified email at cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
- Mosharaf ChowdhuryUniversity of MichiganVerified email at umich.edu
- Huseyin A. InanMicrosoft Research AIVerified email at microsoft.com
- Janardhan KulkarniMicrosoft Research, RedmondVerified email at cs.washington.edu
- Robert SimSr. Principal Research Manager, MicrosoftVerified email at microsoft.com