张海滨 - 北京理工大学 - 前沿交叉科学研究院

个人简介

张海滨，北理工前沿交叉科学院教授，博士生导师，特立青年学者。张博士于加州大学戴维斯分校获得计算机博士学位，师从哥德尔奖获得者Matthew K. Franklin。而后于北卡大学教堂山分校和康涅狄格大学从事博士后工作，分别师从Michael K. Reiter（Duke大学讲席教授）和Marten van Dijk（荷兰CWI安全方向负责人）。回国之前担任马里兰大学UMBC助理教授、系统和安全实验室主任。获得C.V.Ramamoorthy Best Paper Award Runner-Up、Maryland Innovation等荣誉，获得美国自然基金委、国土安全部、能源部、挪威科学院和马里兰政府等资助。发表S&P、CCS、PODC、DSN、FSE、ESORICS、FC、OPODIS、SRDS、TIFS、CSUR等分布式系统和网络安全的会议和期刊论文。设计并实现一系列许可型区块链共识（BFT）系统, 包括Dyno、PACE、BChain、BzyID、CP-BFT、CBFT、BEAT、EPIC、MiB、WaterBear等。其中设计实现的BChain系统是Hyperledger的五大平台之一，是Hyperledger架构白皮书收录的五个协议之一，被美国能源部等知名媒体报道；Dyno应用于中化MAP等国内和国际平台；BEAT是最高效的开源异步联盟链系统之一；CBFT是能够处理密文速度最快的区块链之一。设计实现的Norton Zone是Symantec工业云存储平台；证明NIST加密标准800-38A的安全性；参与制定区块链安全国家标准。张博士是欧洲、美国、巴西、加拿大分布式系统科研联盟CREDENCE的负责人之一。张博士同时隶属北理工网络空间安全学院。张海滨担任NDSS、ICDCS、SRDS、OPODIS等安全和分布式系统会议程序委员，长期致力于提升国内分布式系统和网络安全的国际影响力。教育和工作经历 2021年12月-至今北京理工大学前沿交叉科学研究院教授博士生导师特立青年学者 2017-2020 马里兰大学UMBC 2009-2014 加州大学戴维斯分校，博士，计算机科学专业主讲课程曾主讲网络安全基础、网络安全研究、现代密码学、区块链等多门课程

研究领域

区块链和共识协议分布式系统、云计算应用密码学网络空间安全

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Yunxiao Zhou, Shengli Liu, Shuai Han, and Haibin Zhang. Fine-Grained Proxy Re-Encryption: Definitions & Constructions from LWE. Asiacrypt 2023. [eprint] Xiao Sui, Sisi Duan, and Haibin Zhang. BG: A Modular Treatment of Byzantine Consensus. [PDF] [eprint] This is our new paper trying to provide a “unified” theory for BFT replication. IEEE TIFS. Haibin Zhang, Sisi Duan, Boxin Zhao, and Liehuang Zhu. WaterBear: Practical Asynchronous BFT Matching Security Guarantees of Partially Synchronous BFT. USENIX Security 2023. [eprint] Sisi Duan, Xin Wang, and Haibin Zhang. FIN: Practical Signature-Free Asynchronous Common Subset in Constant Time. ACM CCS 2023. [eprint] Haibin Zhang, Sisi Duan, Chao Liu, Boxin Zhao, Xuanji Meng, Shengli Liu, Yong Yu, Fangguo Zhang, Liehuang Zhu. Practical Asynchronous Distributed Key Generation: Improved Efficiency, Weaker Assumption, and Standard Model. [eprint]. IEEE IFIP DSN 2023. Nicolas Alhaddad, Sourav Das, Sisi Duan, Ling Ren, Mayank Varia, Zhuolun Xiang and Haibin Zhang. Balanced Byzantine Reliable Broadcast with Near-Optimal Communication and Improved Computation. ACM Symposium on Principles of Distributed Computing (PODC), 2022. [PDF][ePrint] Nicolas Alhaddad, Sourav Das, Sisi Duan, Ling Ren, Mayank Varia, Zhuolun Xiang and Haibin Zhang. Brief Announcement: Asynchronous Verifiable Information Dispersal with Near-Optimal Communication. ACM Symposium on Principles of Distributed Computing (PODC), 2022. [PDF] Haibin Zhang and Sisi Duan. PACE: Fully Parallelizable BFT from Reproposable Byzantine Agreement. ACM CCS 2022. [PDF] Xiao Sui, Sisi Duan, and Haibin Zhang. Marlin: Two-Phase BFT with Linearity. DSN 2022. [PDF] Sisi Duan and Haibin Zhang. Foundations of Dynamic BFT. IEEE Symposium on Security and Privacy (Oakland) 2022. [DOI] [PDF] Haibin Zhang, Chao Liu, and Sisi Duan. How to Achieve Adaptive Security for Asynchronous BFT? Journal of Parallel and Distributed Computing (JPDC), 2022. Sisi Duan and Haibin Zhang. Recent Progress on BFT in the era of Blockchains. National Science Review (NSR). (This is an invited, peer-reviewed perspective which is asked to describe our own work on BFT. The maximum number of papers that the perspective can cite is 10. So the perspective can only include a rather limited number of papers and many papers end up with no citations (sorry!). If you are interested in a comprehensive survey, say our paper ACM CUSR below.) Xin Wang, Sisi Duan, James R. Clavin, and Haibin Zhang. BFT in Blockchains: From Protocols to Use Cases. ACM Computing Surveys, 2022. [PDF][DOI] Guohou Shan, Boxin Zhao, James R. Clavin, Haibin Zhang, and Sisi Duan. Poligraph: Intrusion-Tolerant and Distributed Fake News Detection System. IEEE Transactions on Information Forensics and Security 17: 28-41, 2022. [PDF][DOI] Nicolas Alhaddad, Mayank Varia, and Haibin Zhang. High-threshold AVSS with optimal communication complexity. International Conference on Financial Cryptography and Data Security. Springer, Berlin, Heidelberg, 2021. [PDF] Chao Liu, Sisi Duan, and Haibin Zhang. EPIC: Efficient Asynchronous BFT with Adaptive Security. DSN 2020. [PDF][DOI] Sisi Duan, Chao Liu, Xin Wang, Yusen Wu, Shuai Xu, Yelena Yesha, Haibin Zhang. Intrusion-Tolerant and Confidentiality-Preserving Publish/Subscribe Messaging. SRDS 2020: 319-328. [PDF][DOI] James R. Clavin, Sisi Duan, Haibin Zhang, Vandana P. Janeja, Karuna P. Joshi, Yelena Yesha, Lucy C. Erickson, and Justin D. Li. Blockchains for Government: Use Cases and Challenges. ACM Digital Government: Resesarch and Practice 1(3): 22:1-22:21, 2020. [PDF][DOI] Kyle Hogan, Hoda Maleki, Reza Rahaeimehr, Ran Canetti, Marten van Dijk, Jason Hennessey, Mayank Varia, Haibin Zhang. On the Universally Composable Security of OpenStack. IEEE SecDev 2019. [Full version (125 pages)] Alan Sherman, Farid Javani, Haibin Zhang, and Enis Golaszewski. On the Origins and Variations of Blockchain Technologies. IEEE Security & Privacy, 2019. [DOI] Sisi Duan, Michael K. Reiter, and Haibin Zhang. BEAT: Asynchronous BFT Made Practical. ACM CCS 2018. [PDF][DOI][Code] Siddhant Goenka, Sisi Duan, and Haibin Zhang. A Formal Treatment of Efficient Byzantine Routing Against Fully Byzantine Adversary. NCA 2018. [PDF][DOI] Sisi Duan, Michael K. Reiter, and Haibin Zhang. Secure Causal Atomic Broadcast, Revisited. DSN 2017: 61-72. [PDF][DOI] Sherman S.M. Chow, Haibin Zhang, and Tao Zhang. Real Hidden Identity-Based Signatures. 21st International Conference on Financial Cryptography and Data Security 2017 (FC 2017). [PDF] Sisi Duan, Lucas Nicely, and Haibin Zhang. Byzantine Reliable Broadcast in Sparse Networks. NCA 2016: 175-182. [PDF][DOI] Walter Bogorad, Scott Schneider, and Haibin Zhang. Norton Zone: Symantec’s Secure Cloud Storage System. IEEE 35th Symposium on Reliable Distributed Systems (SRDS 2016), 2016. [PDF] Sisi Duan and Haibin Zhang. Practical State Machine Replication with Confidentiality. SRDS 2016: 187-196. [PDF] Mingqiang Wang, Tao Zhan, and Haibin Zhang. Bit Security of the CDH Problems over Finite Fields. Selected Area in Cryptography 2015, pages 441-461, 2015. [PDF] Sisi Duan, Hein Meling, Sean Peisert, and Haibin Zhang. BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration. OPODIS 2014: 91-106. [PDF][DOI][Press] Sisi Duan, Karl Levitt, Hein Meling, Sean Peisert, and Haibin Zhang. ByzID: Byzantine Fault Tolerance from Intrusion Detection. SRDS 2014: 253-264. [PDF][DOI] Best Paper Candidate Award. Tiancheng Chang, Sisi Duan, Hein Meling, Sean Peisert, and Haibin Zhang. P2S: A Fault-Tolerant Publish/Subscribe Infrastructure. DEBS 2014: 189-197. [PDF][DOI] Sherman Chow, Matthew Franklin, and Haibin Zhang. Practical Dual-Receiver Encryption: Soundness, Complete Non-Malleability, and Applications. CT-RSA 2014, LNCS 8366, pages 85–105, 2014. [PDF] Also available [ePrint archive] Matthew Franklin and Haibin Zhang. Unique Ring Signatures: A Practical Construction. Financial Cryptography and Data Security 2013, LNCS 7859, pages 162-170, 2013. [PDF] Matthew Franklin and Haibin Zhang. A Framework for Unique Ring Signatures. [PDF] Also available [ePrint archive] Phillip Rogaway, Mark Wooding, and Haibin Zhang. The Security of Ciphertext Stealing. FSE 2012, LNCS 7549, pages 180-195, 2012. [PDF] Matthew Franklin and Haibin Zhang. Unique Group Signatures. ESORICS 2012, LNCS 7459, pages 643-660, 2012. [PDF] [Full Paper] Also available [ePrint archive] Haibin Zhang. Length-Doubling Ciphers and Tweakable Ciphers. ACNS 2012, LNCS 7341, pages 100-116, 2012. [PDF] Phillip Rogaway and Haibin Zhang. Online Ciphers from Tweakable Blockciphers. CT-RSA 2011, LNCS 6558, pages 237-249, 2011. [PDF]