小组成员任萌的学位论文入选CCF区块链专委优秀硕士学位论文激励计划

CCF区块链专委优秀硕士学位论文激励计划，旨在进一步推动区块链领域高水平创新人才培养工作，促进青年人才成长。

任萌硕士的学位论文《智能合约安全开发测试环境的研究与实现》入选2024年度CCF区块链专委优秀硕士学位论文激励计划。该学位论文从安全角度出发，基于静态分析、深度学习、集成测试等方法，在代码推荐和漏洞检测两个阶段对合约安全性进行了保障。(1)针对开发过程中缺乏针对性候选词推荐的问题，提出了基于安全加固的增强代码推荐模块。(2)针对合约上线前漏洞扫描不全面、精度不足的问题，提出了基于动静结合的集成漏洞检测模块。(3)设计并实现了安全的智能合约开发测试环境，以插件的形式与通用编辑器VS Code 进行了集成，被选为微众银行的官方智能合约开发辅助工具，并集成至企业级联盟链底层平台 FISCO-BCOS 中。

任萌在硕士期间共发表CCF-A类论文7篇（第一作者3篇），CCF-B类论文3篇，曾获国家奖学金、清华大学软件学院优秀硕士毕业生等荣誉。任萌主要研究区块链安全，重点关注智能合约的安全开发与漏洞检测。针对智能合约安全工具的现状进行了充分调研与评估，总结了标准测试流程和核心指标，并基于测评结果设计并实现了智能合约安全开发测试环境。相关研究成果已经被应用于微众银行区块链底层平台中，相关论文发表在ISSTA、ESEC/FSE、NDSS、TSE、TOSEM等顶级会议和期刊上。

中国计算机学会将于2024年12月13-15日在上海举办的第七届CCF中国区块链技术大会开幕式上颁发获奖证书。