建立我自己的個人學術檔案
共同作者
- Georges GonthierPrincipal Researcher, Microsoft Research在 microsoft.com 的電子郵件地址已通過驗證
- Avery ChingFacebook在 fb.com 的電子郵件地址已通過驗證
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon University在 cmu.edu 的電子郵件地址已通過驗證
- Alexey SolovyevResearch Associate of Computer Science, University of Utah在 cs.utah.edu 的電子郵件地址已通過驗證
- aspertiUniversity of Bologna在 cs.unibo.it 的電子郵件地址已通過驗證
- Stéphane Le RouxLSV, école normale supérieure de Paris-Saclay在 lsv.fr 的電子郵件地址已通過驗證
- George DanezisMysten Labs & University College London在 ucl.ac.uk 的電子郵件地址已通過驗證
- Dahlia malkhiUniversity of California, Santa Barbara在 ucsb.edu 的電子郵件地址已通過驗證
- Oded NaorStarkWare在 campus.technion.ac.il 的電子郵件地址已通過驗證
- Valeria NikolaenkoResearch Partner, A16Z Crypto在 cs.stanford.edu 的電子郵件地址已通過驗證
- Konstantinos Kryptos ChalkiasChief Cryptographer at Mysten Labs, ex-Facebook Cryptography Lead在 mystenlabs.com 的電子郵件地址已通過驗證
- Yashvanth KondiSilence Laboratories (employed by Deel)在 silencelaboratories.com 的電子郵件地址已通過驗證
- Benjamin WernerProfesseur, Computer Science, Ecole Polytechnique在 polytechnique.edu 的電子郵件地址已通過驗證
- Martin OderskyEPFL在 epfl.ch 的電子郵件地址已通過驗證
- payman mohasselPrivacy at Facebook在 fb.com 的電子郵件地址已通過驗證
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的電子郵件地址已通過驗證
- Shehar BanoFacebook在 fb.com 的電子郵件地址已通過驗證
- David L. DillProfessor, Emeritus, of Computer Science, Stanford University在 stanford.edu 的電子郵件地址已通過驗證
- Sam BlackshearMysten Labs在 mystenlabs.com 的電子郵件地址已通過驗證
- Christian CataliniMIT Sloan School of Management在 mit.edu 的電子郵件地址已通過驗證