Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Benjamin GregoireInria Sophia-AntipolisVerified email at inria.fr
Karthikeyan BhargavanINRIAVerified email at inria.fr
Nikhil SwamyMicrosoft ResearchVerified email at microsoft.com
Antoine Delignat-LavaudMicrosoft ResearchVerified email at microsoft.com
Aseem RastogiResearcher, Microsoft ResearchVerified email at microsoft.com
Markulf KohlweissUniveristy of EdinburghVerified email at ed.ac.uk
Jonathan ProtzenkoMicrosoft ResearchVerified email at ens-lyon.org
Boris KöpfAzure Research, MicrosoftVerified email at microsoft.com
Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtVerified email at inria.fr
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
Shruti TopleAzure Research, MicrosoftVerified email at microsoft.com
César KunzPostdoctoral Researcher, IMDEA SoftwareVerified email at imdea.org
Andrew PaverdMicrosoftVerified email at microsoft.com
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
Federico OlmedoUniversity of ChileVerified email at dcc.uchile.cl
Pierre-Yves StrubResearch Scientist, PQShieldVerified email at strub.nu
Matthew GreenJohns Hopkins UniversityVerified email at cs.jhu.edu
Lukas WutschitzMicrosoftVerified email at microsoft.com