Get my own profile
Co-authors
Georges GonthierPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Avery ChingFacebookVerified email at fb.com
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
Alexey SolovyevResearch Associate of Computer Science, University of UtahVerified email at cs.utah.edu
aspertiUniversity of BolognaVerified email at cs.unibo.it
Stéphane Le RouxLSV, école normale supérieure de Paris-SaclayVerified email at lsv.fr
George DanezisMysten Labs & University College LondonVerified email at ucl.ac.uk
Dahlia malkhiUniversity of California, Santa BarbaraVerified email at ucsb.edu
Oded NaorStarkWareVerified email at campus.technion.ac.il
Valeria NikolaenkoResearch Partner, A16Z CryptoVerified email at cs.stanford.edu
Kostas Kryptos ChalkiasChief Cryptographer at Mysten Labs, ex-Facebook Cryptography LeadVerified email at mystenlabs.com
Yashvanth KondiSilence Laboratories (employed by Deel)Verified email at silencelaboratories.com
Martin OderskyEPFLVerified email at epfl.ch
Benjamin WernerProfesseur, Computer Science, Ecole PolytechniqueVerified email at polytechnique.edu
payman mohasselPrivacy at FacebookVerified email at fb.com
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Shehar BanoFacebookVerified email at fb.com
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityVerified email at stanford.edu
Sam BlackshearMysten LabsVerified email at mystenlabs.com
Christian CataliniMIT Sloan School of ManagementVerified email at mit.edu