Robuta

https://www.fanzhang.me/ Fan Zhang's Home Page Recent Projects A unifying theme of my research is building trustworthy computer systems through three approaches: (1) decentralization, which enables programs... fan zhangs home https://www.fanzhang.me/publications/26-dinocchio/ Dinocchio: Distributed Prover for Ring Arithmetic | Fan Zhang's Home Page Fan Zhang is an assistant professor of computer science at Yale University working on computer security, decentralized systems, cryptography, and blockchain. fan zhangs home https://www.fanzhang.me/talks/ Talks | Fan Zhang's Home Page Talks Some of the talks I have given. fan zhangs hometalks https://www.fanzhang.me/group/prospective/ To prospective students | Fan Zhang's Home Page To Prospective Students PhD Students Yale CS uses a committee-based admissions process. Emailing me is not required but welcome — it’s most helpful if you... to prospective studentsfan zhanghome page https://www.fanzhang.me/publications/25-insecurity-from-obscurity/ Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts | Fan Zhang's Home... Fan Zhang is an assistant professor of computer science at Yale University working on computer security, decentralized systems, cryptography, and blockchain. closed sourcefan zhanginsecurity https://www.voxchina.org/show-4-725.html Fan Zhang Zhang Fan is an Assistant Professor at School of Insurance and Economics, University of International Business and Economics. Professor Zhang obtained his PhD... fan zhang