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
Karthikeyan BhargavanINRIAVerified email at inria.fr
Benjamin GregoireInria Sophia-AntipolisVerified 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
Boris KöpfAzure Research, MicrosoftVerified email at microsoft.com
Jonathan ProtzenkoMicrosoft Azure ResearchVerified email at ens-lyon.org
Shruti TopleAzure 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
Andrew PaverdMicrosoftVerified email at microsoft.com
Lukas WutschitzMicrosoftVerified 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
Georges GonthierPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com