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
- Konstantinos 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
- Benjamin WernerProfesseur, Computer Science, Ecole PolytechniqueVerified email at polytechnique.edu
- Martin OderskyEPFLVerified email at epfl.ch
- 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