高健博
博士、副教授
基本信息
| 办公电话： | 电子邮件： gao@bjtu.edu.cn |
| 通讯地址：北京交通大学机械楼D306 | 邮编：100044 |
个人简介
高健博，北京交通大学网络空间安全学院副教授，本科和博士均毕业于北京大学计算机专业，主要研究方向包括区块链基础理论、区块链安全与监管、网络与信息安全等，主持国家重点研发计划课题、国家自然科学基金、科技部、北京市高精尖中心等科研项目，在ICSE、FSE、ASE、ISSTA等国内外高水平会议和期刊上发表学术论文40余篇，申请和获得发明专利30余项。研究成果包括智能合约安全分析工具、智能合约编程语言、区块链共识算法、分片架构、跨链协议等，在长安链、博雅正链、以太坊经典、雄安新区城域区块链、KJ区块链等多个区块链平台落地应用。
研究团队经费充足，欢迎报考硕士研究生的同学提前联系，也可随时招收实习生、博士后。
欢迎有志于学术科研或Web3.0创新创业的同学邮件联系，希望具有充分的学术热情和较好的工程能力，共同探索区块链和Web3.0的发展之路！
来信必复！
教育背景
2016年9月-2021年7月 北京大学 计算机软件与理论 博士
2012年9月-2016年7月 北京大学 计算机科学与技术 本科
工作经历
2024年6月-至今 北京交通大学 副教授
2021年7月-2024年6月 北京大学 博士后、助理研究员
研究方向
区块链性能和可扩展性：跨链协议、分片架构、链下存储、分布式数字身份、共识算法、预言机网络
区块链和智能合约安全：智能合约漏洞分析、区块链基础设施安全、隐私泄露
区块链监管：监管合约、地址识别、交易分析
科研项目
- 国家重点研发计划（区块链监管），2023-2026，在研，课题负责人
- 国家自然科学基金青年基金（区块链可扩展性），2023-2025，在研，项目负责人
- 科技部雄安新区科技创新专项（数据安全和隐私保护），2022-2025，在研，课题负责人
- 北京市高精尖中心项目（长安链链下存储），2022-2023，已结题，项目负责人
论文/期刊
1. Jiashuo Zhang, Yiming Shen, Jiachi Chen*, Jianzhong Su, Yanlin Wang, Ting Chen, Jianbo Gao*, Zhong Chen*. Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts. In the 47th IEEE/ACM International Conference on Software Engineering (ICSE’25), 2025.
2. Che Wang, Jiashuo Zhang, Jianbo Gao*, Libin Xia, Zhi Guan, Zhong Chen. ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts. In the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE’24), Demo Track, 2024.
3. Ziming Chen, Yue Li, Jianbo Gao, Jiashuo Zhang, Ke Wang, Jianbin Hu, Zhi Guan, Zhong Chen. Understanding and Detecting Privacy Leakage Vulnerabilities in Hyperledger Fabric Chaincodes. In the 35th IEEE International Symposium on Software Reliability Engineering (ISSRE’24), 2024.
4. Jiakun Hao, Peng Xiang, Yifei He, Jianbo Gao, Zhi Guan, Anming Xie, Zhong Chen. Cross-Domain Data Trading System Based on Decentralized Identity. Journal of Computer Research and Development. 2024. (In Chinese)
5. Che Wang, Yue Li, Jianbo Gao*, Ke Wang, Jiashuo Zhang, Zhi Guan, Zhong Chen. SolaSim: Clone Detection for Solana Smart Contracts via Program Representation. In the 32nd International Conference on Program Comprehension (ICPC’24), 2024.
6. Libin Xia, Jiashuo Zhang, Che Wang, Zezhong Tan, Jianbo Gao*, Zhi Guan, Zhong Chen. CryptCoder: An Automatic Code Generator for Cryptographic Tasks in Ethereum Smart Contracts. In the 31st International Conference on Software Analysis, Evolution and Reengineering (SANER’24), Demo Track, 2024.
7. Xihan Zhang, Jiashuo Zhang, Jianbo Gao*, Libin Xia, Zhi Guan, Hao Hu, Zhong Chen. A Sharding Blockchain-based UAV System for Search and Rescue Missions. Frontiers of Computer Science, 2025, 19(3): 193805.
8. Che Wang, Zhenhao Wu, Jianbo Gao*, Jiashuo Zhang, Junjie Xia, Feng Gao, Zhi Guan, Zhong Chen. FedTop: a constraint-loosed federated learning aggregation method against poisoning attack. Frontiers of Computer Science, 2024.
9. Jiashuo Zhang, Jiachi Chen, Zhiyuan Wan, Ting Chen, Jianbo Gao, Zhong Chen. When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs. In the 46th International Conference on Software Engineering (ICSE’24), 2024.
10. Ke Wang, Yue Li, Che Wang, Jianbo Gao, Zhi Guan, Zhong Chen. XGuard: Detecting Inconsistency Behaviors of Crosschain Bridges. In the 32nd ACM International Conference on the Foundations of Software Engineering (FSE’24), Demo Track, 2024.
11. Ke Wang, Yue Li, Jianbo Gao, Che Wang, Zhi Guan, Zhong Chen. RollupNet: Trustless State Channels for Real-time Cross Rollup Contract Execution. In the IEEE International Conference on Computer Communications (INFOCOM’24), Poster Track, 2024.
12. Hanrui Feng, Anming Xie, Jianbo Gao, Junjie Xia, Feng Gao, Tingting Du, Zhong Chen. Research on Safety and Security Assurance Architecture for Digital Twin City Infrastructure. Journal of Information Security Research. 2024. (In Chinese)
13. Jiashuo Zhang, Yue Li, Jianbo Gao*, Zhi Guan, Zhong Chen. Siguard: Detecting Signature-Related Vulnerabilities in Smart Contracts. In the 45th IEEE/ACM International Conference on Software Engineering (ICSE’23), Demo Track, 2023.
14. Yue Li, Han Liu, Jianbo Gao*, Jiashuo Zhang, Zhi Guan*, Zhong Chen. Accelerating Block Lifecycle on Blockchain via Hardware Transactional Memory. Journal of Parallel and Distributed Computing, 2023, 104779.
15. Ke Wang, Jianbo Gao*, Qiao Wang, Jiashuo Zhang, Yue Li, Zhi Guan*, Zhong Chen. Hades: Practical Decentralized Identity with Full Accountability and Fine-grained Sybil-resistance. In Annual Computer Security Applications Conference (ACSAC’23), 2023.
16. Zhenhao Wu, Jianbo Gao*, Jiashuo Zhang, Yue Li, Qingshan Li, Zhi Guan, Zhong Chen. DFHelper: Help clients to participate in federated learning tasks. Applied Intelligence, 2023, 53:12749-12773.
17. Jiakun Hao, Jianbo Gao*, Peng Xiang, Jiashuo Zhang, Ziming Chen, Hao Hu, Zhong Chen. TDID: Transparent and Efficient Decentralized Identity Management with Blockchain. In IEEE International Conference on Systems, Man, and Cybernetics (SMC’23), 2023.
18. Jianbo Gao, Jiashuo Zhang, Qingshan Li, Zhong Chen. Detection Method for Rule Conflicts in RegLang Regulatory Contracts. Computer Engineering, 2023, 49(5): 12-21,28. (In Chinese)
19. Libin Xia, Jiashuo Zhang, Xihan Zhang, Yue Li, Jianbo Gao*, Zhi Guan, Zhong Chen. Didapper: A Practical and Auditable On-Chain Identity Service for Decentralized Applications. In IEEE International Conference on Decentralized Applications and Infrastructures, 2023.
20. Ya Han, Jianbo Gao, Zhi Guan, Zhong Chen. Privacy Protection Scheme for Epidemiological Investigation Based on Blockchain Technology. In Blockchain and Internet of Things Conference, 2023.
21. Ya Han, Jianbo Gao, Zhi Guan, Zhong Chen, Lifeng Ren. Intelligent New Energy Vehicle Battery Swap Scheme Based on Blockchain Technology. In International Conference on Blockchain Technology, 2023.
22. Jiashuo Zhang, Jianbo Gao*, Yue Li, Ziming Chen, Zhi Guan, Zhong Chen. Xscope: Hunting for Cross-Chain Bridge Attacks. In the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE’22), Demo Track, 2022.
23. Zhenhao Wu, Jianbo Gao, Qingshan Li, Zhi Guan, Zhong Chen. Make Aspect-Based Sentiment Classification Go Further: Step into The Long-Document-Level. Applied Intelligence, 2022, 52: 8428–8447.
24. Jiashuo Zhang, Jianbo Gao*, Ke Wang, Zhenhao Wu, Yue Li, Zhi Guan, Zhong Chen. TBFT: Efficient Byzantine Fault Tolerance Using Trusted Execution Environment. In IEEE International Conference on Communications (ICC’22), 2022.
25. Yu Dong, Yue Li, Dongqi Cui, Jianbo Gao, Zhi Guan, Zhong Chen. Smifier: A Smart Contract Verifier for Composite Transactions. In the 34th International Conference on Software Engineering & Knowledge Engineering (SEKE’22), 2022.
26. Jianbo Gao, Jiashuo Zhang, Yue Li, Jiakun Hao, Ke Wang, Zhi Guan, Zhong Chen. ChainDB: Ensuring Integrity of Querying Off-Chain Data on Blockchain. In International Conference on Blockchain Technology and Applications , 2022. Best Presentation Award
27. Jianbo Gao, Jiashuo Zhang, Yue Li, Jiakun Hao, Ke Wang, Zhi Guan, Zhong Chen. PShard: A Practical Sharding Protocol for Enterprise Blockchain. In International Conference on Blockchain Technology and Applications, 2022.
28. Jianbo Gao, Jiashuo Zhang, Qingshan Li, Zhong Chen. RegLang:A Smart Contract Programming Language for Regulation. Computer Science, 2022, 49(6A): 462-468. (In Chinese)
29. Yue Li, Han Liu, Yuanliang Chen, Jianbo Gao, Zhenhao Wu, Zhi Guan, Zhong Chen. FastBlock: Accelerating Blockchains via Hardware Transactional Memory. In the 41st IEEE International Conference on Distributed Computing Systems (ICDCS’21), 2021.
30. Lipeng Wang, Jianbo Gao, Qingshan Li, Zhong Chen. Blockchain-based Multi-recipient Multi-message Signcryption Scheme. Journal of Software, 2021, 32(11): 3606-3627. (In Chinese)
31. Ying Lan, Jianbo Gao*, Yue Li, Ke Wang, Yuesheng Zhu, Zhong Chen. TrustCross: Enabling Confidential Interoperability across Blockchains Using Trusted Hardware. In International Conference on Blockchain Technology and Applications, 2021.
32. Zhenhao Wu, Jianbo Gao, Qingshan Li, Zhong Chen. Research on Security Technologies in Data Security Governance. Journal of Information Security Research, 2021, 7(10): 907-914. (In Chinese) Outstanding Paper of 2021-2022
33. Wentian Yan, Jianbo Gao, Zhenhao Wu, Yue Li, Zhi Guan, Qingshan Li, Zhong Chen. EShield: Protect Smart Contracts against Reverse Engineering. In ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA’20), Demo Track, 2020.
34. Zhenhao Wu, Jiashuo Zhang, Jianbo Gao, Yue Li, Qingshan Li, Zhi Guan, Zhong Chen. Kaya: A Testing Framework for Blockchain-based Decentralized Applications. In the 36th IEEE International Conference on Software Maintenance and Evolution (ICSME’20), Demo Track, 2020.
35. Yeming Lin, Jianbo Gao, Tong Li, Jingguo Ge, Hongbin Shi. Mining DApp Repositories: Towards In-Depth Comprehension and Accurate Classification. In the 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE’20), 2020.
36. Ji Wang, Qi Jing, Jianbo Gao, Xuanwei Qiu. SEdroid: A Robust Android Malware Detector using Selective Ensemble Learning. In IEEE Wireless Communications and Networking Conference (WCNC’20), 2020.
37. Chao Liu, Jianbo Gao, Yue Li, Huihui Wang, Zhong Chen. Studying gas exceptions in blockchain-based cloud applications. Journal of Cloud Computing, 2020, 9(35): 1-25.
38. Jianbo Gao, Han Liu, Chao Liu, Qingshan Li, Zhi Guan, Zhong Chen. EasyFlow: Keep Ethereum Away From Overflow. In the 41st ACM/IEEE International Conference on Software Engineering (ICSE’19), Demo Track, 2019.
39. Jianbo Gao. Guided, Automated Testing of Blockchain-based Decentralized Applications. In the 41st ACM/IEEE International Conference on Software Engineering (ICSE’19), ACM SRC Track, 2019.
40. Jianbo Gao, Han Liu, Yue Li, Chao Liu, Zhiqiang Yang, Qingshan Li, Zhi Guan, Zhong Chen. Towards Automated Testing of Blockchain-based Decentralized Applications. In the 27th IEEE/ACM International Conference on Program Comprehension (ICPC’19), 2019.
41. Jianjun Lin, Jianbo Gao, Zhenhao Wu, Chengxiang Si, Bo Sun. Deanonymizing Tor in a Stealthy Way. In International Performance Computing and Communications Conference (IPCCC’19), 2019.
42. Chao Liu, Jianbo Gao, Yue Li, Zhong Chen. Understanding Out of Gas Exceptions on Ethereum. In International Conference on Blockchain and Trustworthy Systems, 2019.
43. Jiashuo Zhang, Jianbo Gao, Zhenhao Wu, Wentian Yan, Qize Wu, Qingshan Li, Zhong Chen. Performance Analysis of the Libra Blockchain: An Experimental Study. In IEEE International Conference on Hot Information-Centric Networking, 2019.
专利
1. 面向无人机的区块链侧链创建方法和交互方法（CN202410389774.1），已授权
2. 一种面向领域特定问题的智能合约建模转译方法（CN202410511291.4），实审中
3. 基于CryptLang的隐私合约构建方法和代码生成系统（CN202410245232.7），实审中
4. 一种基于群签名和属性加密的区块链身份数据管控方法和装置（CN202410367321.9），实审中
5. 一种区块链网络隐蔽信道检测方法及装置（CN202410367291.1），实审中
6. 一种基于区块链和同态加密的密态数据计算方法和装置(CN202410367233.9)，实审中
7. 一种基于ECDSA阈下信道的区块链隐蔽通信方法和系统（CN202410367225.4），实审中
8. 区块链的数据链下的插入、查询方法及区块链系统（CN202310126434.5），实审中
9. 基于两阶段锁的区块链分片方法及系统（CN202310082938.1），实审中
10. 基于区块链和可验证数据库的冷链溯源方法及系统（CN202311241310.8），实审中
11. 一种监管合约规则冲突检测方法（CN202211667778.9），实审中
12. 一种基于区块链的私募基金份额转让平台及方法（CN202210891746.0），实审中
13. 基于RegLang的区块链监管合约构建方法和区块链系统（CN202210420316.0），实审中
14. 一种基于区块链开展可信联邦学习的方法（CN202210127941.6），实审中
15. 少量数据训练的联邦元学习方法、服务端及电子设备（CN202211711793.9），实审中
16. 平衡各方调查数据差异的纵向联邦学习方法及系统（CN202211699464.7），实审中
17. 一种基于可信执行环境的新型拜占庭容错共识方法（CN202111271026.6），已授权
18. 一种基于可信执行环境的跨链系统及方法（CN202111270538.0），已授权
19. 一种基于Webassembly字节码的智能合约虚拟机（CN202111658402.7），实审中
20. 一种针对Go语言链码的漏洞检测方法（CN202111654617.1），实审中
21. 基于区块链的云端数据完整性审计方法（CN202111271014.3），实审中
22. 基于遗传算法的末端物流网点布局方法、装置、设备及介质（CN202110439333.4），实审中
23. 一种针对智能合约行为的监管方法（CN202010211697.2），已授权
24. 一种智能合约安全增强方法（CN202010211696.8），已授权
25. 一种面向Java类热更新的自动化管理方法（CN202010216486.8），已授权
26. 一种面向深度学习神经网络进行图像识别的图像保护方法（CN202010211679.4），已授权
27. 基于区块链和生物特征的电子合同可关联分析验证方法（CN201911259293.4），已授权
28. 一种基于区块链的分布式政务架构的统一方法（CN201911258172.8），已授权
29. 一种基于区块链的网贷合同监管系统及方法（CN201911080008.2），已授权
30. 一种智能合约漏洞检测方法（CN201911080006.3），已授权
31. 一种面向区块链系统的数据分析方法（CN201911079968.7），已授权
32. 一种基于扩散传播模型的关联实体情感判断方法（CN201811283258.1），已授权
33. 一种用于神经网络输入的大信息量文本表示方法（CN201811283253.9），已授权
34. 一种基于多层LSTM模型的并行处理分类方法（CN201811283244.X），已授权
35. 一种移动终端自动化测试的脚本引擎系统及测试方法（CN201610066512.7），已授权
36. 一种基于权限组合的安卓恶意软件检测方法（CN201610064024.2），已授权