高健博 | 北京大学

高健博 Switch to English Version

博士后研究员

北京大学计算机学院区块链研究中心
办公地址: 北京市海淀区北京大学理科一号楼1529E
Email: gaojianbo AT pku.edu.cn

教育经历

2016年9月 - 2021年7月, 北京大学信息科学技术学院, 计算机软件与理论专业, 博士 (导师：陈钟教授)
2012年9月 - 2016年7月, 北京大学信息科学技术学院, 计算机科学与技术专业, 本科
2013年9月 - 2016年7月, 北京大学光华管理学院, 工商管理专业, 辅修

研究方向

区块链性能和可扩展性：共识算法、跨链协议、分片技术、交易并发、链下存储、DID
区块链和智能合约安全：合约漏洞、跨链桥安全、预编译合约误用、隐私泄露
基于区块链的监管科技：监管合约编程语言、监管规则冲突分析、区块链应用合规测试

科研项目

国家自然科学基金青年科学基金项目，联盟链可扩展性技术研究，项目负责人
科技部雄安新区科技创新专项，基于城域区块链和 IPv6 的数字城市数据隐私保护和可信治理，课题负责人
北京市未来区块链与隐私计算高精尖创新中心项目（长安链），区块链可扩展性关键技术研究，项目负责人

学术论文

Siguard: Detecting Signature-Related Vulnerabilities in Smart Contracts.
合约安全

预编译合约

Jiashuo Zhang, Yue Li, Jianbo Gao^*, Zhi Guan, Zhong Chen.
In the 45th IEEE/ACM International Conference on Software Engineering (ICSE'23), Demo Track, Melbourne, Australia, 2023.
(* Corresponding author)

TDID: Transparent and Efficient Decentralized Identity Management with Blockchain.
DID

Jiakun Hao, Jianbo Gao^*, Peng Xiang, Jiashuo Zhang, Ziming Chen, Hao Hu, Zhong Chen.
In IEEE International Conference on Systems, Man, and Cybernetics (SMC'23), 2023.
(* Corresponding author)

Didapper: A Practical and Auditable On-Chain Identity Service for Decentralized Applications.
DID

Libin Xia, Jiashuo Zhang, Xihan Zhang, Yue Li, Jianbo Gao^*, Zhi Guan, Zhong Chen.
In IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS'23), 2023.
(* Corresponding author)

Detection Method for Rule Conflicts in RegLang Regulatory Contracts.
冲突检测

监管科技

Jianbo Gao, Jiashuo Zhang, Qingshan Li, Zhong Chen.
Computer Engineering, 2023. (In Chinese)
高健博,张家硕,李青山,陈钟.RegLang监管合约规则冲突检测方法[J].计算机工程,2023.

Xscope: Hunting for Cross-Chain Bridge Attacks.
跨链桥安全

Jiashuo Zhang, Jianbo Gao^*, Yue Li, Ziming Chen, Zhi Guan, Zhong Chen.
In the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE'22), Demo Track, 2022.
(* Corresponding author)

DFHelper: Help clients to participate in federated learning tasks.
联邦学习

Zhenhao Wu, Jianbo Gao^*, Jiashuo Zhang, Yue Li, Qingshan Li, Zhi Guan, Zhong Chen.
Applied Intelligence, 2022.
(* Corresponding author)

RegLang: A Smart Contract Programming Language for Regulation.
编程语言

监管科技

Jianbo Gao, Jiashuo Zhang, Qingshan Li, Zhong Chen.
Computer Science, 49(6A), pages 462-468, 2022. (In Chinese)
高健博,张家硕,李青山,陈钟.RegLang:一种面向监管的智能合约编程语言[J].计算机科学,2022,49(6A):462-468.

TBFT: Efficient Byzantine Fault Tolerance Using Trusted Execution Environment.
共识算法

TEE

Jiashuo Zhang, Jianbo Gao^*, Ke Wang, Zhenhao Wu, Yue Li, Zhi Guan, Zhong Chen.
In IEEE International Conference on Communications (ICC'22), 2022.
(* Corresponding author)

ChainDB: Ensuring Integrity of Querying Off-Chain Data on Blockchain.
可扩展性

链下存储

Jianbo Gao, Jiashuo Zhang, Yue Li, Jiakun Hao, Ke Wang, Zhi Guan, ZhongChen.
In International Conference on Blockchain Technology and Applications, 2022.

PShard: A Practical Sharding Protocol for Enterprise Blockchain.
可扩展性

分片协议

Jianbo Gao, Jiashuo Zhang, Yue Li, Jiakun Hao, Ke Wang, Zhi Guan, ZhongChen.
In International Conference on Blockchain Technology and Applications, 2022.

Smifier: A Smart Contract Verifier for Composite Transactions.
合约安全

形式化验证

Yu Dong, Yue Li, Dongqi Cui, Jianbo Gao, Zhi Guan, Zhong Chen.
In the 34th International Conference on Software Engineering & Knowledge Engineering (SEKE'22), 2022.

Make Aspect-Based Sentiment Classification Go Further: Step into The Long-Document-Level.
AI

Zhenhao Wu, Jianbo Gao, Qingshan Li, Zhi Guan, Zhong Chen.
Applied Intelligence, 52, pages 8428-8447, 2022.

TrustCross: Enabling Confidential Interoperability across Blockchains Using Trusted Hardware.
跨链协议

TEE

Ying Lan, Jianbo Gao^*, Yue Li, Ke Wang, Yuesheng Zhu, Zhong Chen.
In International Conference on Blockchain Technology and Applications, 2021.
(* Corresponding author)

FastBlock: Accelerating Blockchains via Hardware Transactional Memory.
可扩展性

交易并发

Yue Li, Han Liu, Yuanliang Chen, Jianbo Gao, Zhenhao Wu, Zhi Guan, Zhong Chen.
In the 41st IEEE International Conference on Distributed Computing Systems (ICDCS'21), 2021.

Blockchain-based Multi-recipient Multi-message Signcryption Scheme.
区块链应用

密码算法

Lipeng Wang, Jianbo Gao, Qingshan Li, Zhong Chen.
Journal of Software, 32(11), pages 3606-3627, 2021. (In Chinese)
王利朋,高健博,李青山,陈钟.应用区块链的多接收者多消息签密方案[J].软件学报,2021,32(11):3606-3627.

Kaya: A Testing Framework for Blockchain-based Decentralized Applications.
DApp测试

Zhenhao Wu, Jiashuo Zhang, Jianbo Gao, Yue Li, Qingshan Li, Zhi Guan, Zhong Chen.
In the 36th IEEE International Conference on Software Maintenance and Evolution (ICSME'20), Demo Track, 2020.

Studying gas exceptions in blockchain-based cloud applications.
合约安全

gas机制

Chao Liu, Jianbo Gao, Yue Li, Huihui Wang, Zhong Chen.
Journal of Cloud Computing, 9(1), pages 1-25, 2020.

EShield: Protect Smart Contracts against Reverse Engineering.
合约安全

合约逆向

Wentian Yan, Jianbo Gao, Zhenhao Wu, Yue Li, Zhi Guan, Qingshan Li, Zhong Chen.
In the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'20), Demo Track, 2020.

Mining DApp Repositories: Towards In-Depth Comprehension and Accurate Classification.
DApp分类

Yeming Lin, Jianbo Gao, Tong Li, Jingguo Ge, Hongbin Shi.
In the 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE'20), 2020.

SEdroid: A Robust Android Malware Detector using Selective Ensemble Learning.
软件安全

Ji Wang, Qi Jing, Jianbo Gao, Xuanwei Qiu.
In IEEE Wireless Communications and Networking Conference (WCNC'20), 2020.

EASYFLOW: Keep Ethereum Away From Overflow.
合约安全

Jianbo Gao, Han Liu, Chao Liu, Qingshan Li, Zhi Guan, Zhong Chen.
In the 41st ACM/IEEE International Conference on Software Engineering (ICSE'19), Demo Track, Montréal, Canada, 2019.

Guided, Automated Testing of Blockchain-based Decentralized Applications.
DApp测试

Jianbo Gao
In the 41st ACM/IEEE International Conference on Software Engineering (ICSE'19), ACM SRC Track, Montréal, Canada, 2019.

Towards Automated Testing of Blockchain-based Decentralized Applications.
DApp测试

Jianbo Gao, Han Liu, Yue Li, Chao Liu, Zhiqiang Yang, Qingshan Li, Zhi Guan, Zhong Chen.
In the 27th IEEE/ACM International Conference on Program Comprehension (ICPC'19), Montréal, Canada, 2019.

Deanonymizing Tor in a Stealthy Way.
网络安全

Jianjun Lin, Jianbo Gao, Zhenhao Wu, Chengxiang Si, Bo Sun.
In the 38th IEEE International Performance Computing and Communications Conference (IPCCC'19), London, UK, 2019.

Understanding Out of Gas Exceptions on Ethereum.
合约安全

gas机制

Chao Liu, Jianbo Gao, Yue Li, Zhong Chen.
In International Conference on Blockchain and Trustworthy Systems, Guangzhou, China, 2019.

Performance Analysis of the Libra Blockchain: An Experimental Study.
区块链性能

共识算法

Jiashuo Zhang, Jianbo Gao, Zhenhao Wu, Wentian Yan, Qize Wu, Qingshan Li, Zhong Chen.
In IEEE International Conference on Hot Information-Centric Networking, Blockchain Track, Chongqing, China, 2019.

科技杂志

陈钟,谢安明,高健博,关志.区块链基础设施安全评估与风险感知平台研究[J].保密科学技术,2022(12):4-11.

贲圣林,高健博,姜楠.建设监管规则数字化能力提升监管科技综合水平[J].金融电子化,2022(8):907-914.

吴振豪,高健博,李青山,陈钟.数据安全治理中的安全技术研究[J].信息安全研究,2021,7(10):907-914.

高健博,刘宏义,李青山,陈钟.智能合约安全漏洞检测技术研究[J].保密科学技术,2020(01):22-25.

张家硕,高健博,王利朋,李青山,陈钟.区块链隐私保护技术综述[J].保密科学技术,2020(01):26-29.

发明专利

陈钟,高健博,任立峰,李青山.基于RegLang的区块链监管合约构建方法和区块链系统. 202210420316.0.

陈钟,高健博,任立峰,李青山.一种监管合约规则冲突检测方法. 202211667778.9.

陈钟,李青山,高健博,任立峰,吴振豪,兰云飞,郝嘉琨.一种基于区块链开展可信联邦学习的方法. 202210127941.6.

陈钟,李青山,高健博,任立峰,郝嘉琨.一种基于Webassembly字节码的智能合约虚拟机. 202111658402.7.

陈钟,李青山,高健博,任立峰,陈子明.一种针对Go语言链码的漏洞检测方法. 202111654617.1.

陈钟,李青山,高健博,任立峰,王利朋.基于区块链的云端数据完整性审计方法. 202111270538.0

陈钟,李青山,高健博,任立峰,张家硕.一种基于可信执行环境的新型拜占庭容错共识方法. 202111271026.6.

陈钟,李青山,高健博,任立峰,蓝英.一种基于可信执行环境的跨链系统及方法. 202111270538.0.

张家硕,高健博,吴振豪,闫文添,任立峰,李青山,陈钟.一种针对智能合约行为的监管方法. 202010211697.2.

闫文添,高健博,吴振豪,张家硕,任立峰,王昭,李青山,陈钟.一种智能合约安全增强方法. 202010211696.8.

李青山,李雷,任立峰,高健博,吴琛.基于区块链和生物特征的电子合同可关联分析验证方法. 201911259293.4.

高健博,任立峰,李青山,吴振豪,冯向军,吴奇泽,刘世克,司华友.一种智能合约漏洞检测方法. 201911080006.3.

高健博,任立峰,李青山,吴振豪,吴奇泽,刘世克,冯向军,司华友.一种基于区块链的网贷合同监管系统及方法. 201911080008.2.

高健博,任立峰,李青山,吴振豪,刘世克,冯向军,吴奇泽,司华友.一种面向区块链系统的数据分析方法. 201911079968.7.

李青山,李雷,任立峰,高健博,吴琛.一种基于区块链的分布式政务架构的统一方法. 201911258172.8.

兰云飞,陈钟,李青山,吴振豪,杨可静,高健博,王晓青.一种用于神经网络输入的大信息量文本表示方法. 201811283253.9.

吴振豪,陈钟,李青山,杨可静,兰云飞,高健博,王晓青.一种基于扩散传播模型的关联实体情感判断方法. 201811283258.1.

杨可静,兰云飞,陈钟,李青山,吴振豪,高健博,王晓青.一种基于多层LSTM模型的并行处理分类方法. 201811283244.X.

吴振豪,陈钟,李青山,兰云飞,杨可静,高健博,王晓青.一种长文本中多实体情感分析的方法. 201811283252.4.

杨可静,陈钟,李青山,吴振豪,兰云飞,高健博,王晓青.一种同时针对多个命名实体的精准情感信息提取方法. 201811283232.7.

高健博,陈钟,李青山,关志,陈果,陈伟腾,秦煜,李洪生,轩志朋,王晓青.一种基于权限组合的安卓恶意软件检测方法. 201610064024.2.

陈果,陈钟,李青山,关志,高健博,陈伟腾,秦煜,李洪生,轩志朋,王晓青.一种移动终端自动化测试的脚本引擎系统及测试方法. 201610066512.7.

特邀报告

数据要素的市场化配置与监管体系建设.第五届中国数据安全治理高峰论坛,2022.

区块链赋能政务服务与监管科技创新.吉林省科学技术协会特邀报告,长春,2019.

万物互联时代边缘计算+区块链的创新潜力与实践.CCF区块链技术大会,成都,2019.

智能合约安全漏洞的自动化挖掘方法.天府杯国际网络安全大赛暨天府国际网络安全高峰论坛,成都,2018.

GoldenEye-AI：基于深度学习的舆情监测与分析.TiD质量竞争力大会,北京,2018.

奖励荣誉

杨芙清-王阳元院士奖学金, 北京大学, 2020
三好学生标兵, 北京大学, 2020
国家奖学金, 北京大学, 2019
三好学生标兵, 北京大学, 2019
30位新生代数字经济人才新星奖, 世界互联网大会, 2019
科研优秀奖, 北京大学, 2018
三好学生, 北京大学, 2017
TP-LINK奖学金, 北京大学, 2017
三好学生, 北京大学, 2015
光华奖学金, 北京大学, 2015

教学经历

区块链理论与技术(本科生), 助教, 2018秋季学期/2019秋季学期/2022秋季学期
算法设计与分析(本科生), 助教, 2019春季学期/2021春季学期
网络与信息安全(研究生), 助教, 2019春季学期
信息安全引论(本科生), 助教, 2017秋季学期

最近更新: 2023年8月22日