Get my own profile
Co-authors
Karthikeyan BhargavanINRIAVerified email at inria.fr
Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Ankur TalyStaff Research Scientist, GoogleVerified email at google.com
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Antoine Delignat-LavaudMicrosoft ResearchVerified email at microsoft.com
Chetan BansalMicrosoft ResearchVerified email at microsoft.com
Chris HankinProfessor of Computing Science, Imperial College LondonVerified email at imperial.ac.uk
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
Alan SchmittInria, IRISAVerified email at inria.fr
Arthur CharguéraudInriaVerified email at inria.fr
Martin BodinImperial College LondonVerified email at ens-lyon.org
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Chris NovakovicDepartment of Computing, Imperial College LondonVerified email at imperial.ac.uk
Vincenzo ArceriPhD, Ca' Foscari University of VeniceVerified email at unive.it
Sergio Maffeis
Senior Lecturer (Associate Professor) in Computer Security, Imperial College London
Verified email at doc.ic.ac.uk - Homepage