Get my own profile
Public access
View all6 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Karthikeyan BhargavanINRIAVerified email at inria.fr
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Santiago Zanella-BéguelinMicrosoft ResearchVerified email at microsoft.com
Markulf KohlweissUniveristy of EdinburghVerified email at ed.ac.uk
Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtVerified email at inria.fr
Aseem RastogiResearcher, Microsoft ResearchVerified email at microsoft.com
Pierre-Yves StrubMaître de Conférence, CS, École PolytechniqueVerified email at strub.nu
Alfredo PirontiINRIA, FranceVerified email at inria.fr
Jonathan ProtzenkoMicrosoft ResearchVerified email at ens-lyon.org
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
Benjamin BeurdoucheMozilla (prev. INRIA and ENS Paris)Verified email at ens.fr
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonVerified email at doc.ic.ac.uk
Georges GonthierPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Bryan ParnoCarnegie Mellon UniversityVerified email at cmu.edu
Chetan BansalMicrosoft ResearchVerified email at microsoft.com
Ashay RaneGraduate Research Assistant, The University of Texas at AustinVerified email at utexas.edu
Samin IshtiaqSamsung AIVerified email at samsung.com
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Ted WobberPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com