1、姜宇姜宇http:/ 90 个合约篡权漏洞虚拟机实现漏洞底层软件漏洞研究背景及意义研究背景及意义CVE-2018-11329任何人可以成为合约的所有者上层合约如何防护，中间虚拟机如何测试，底层基础软件质量如何保障Py-evm漏洞Vitalik确认漏洞影响CVE-.0版本包解析漏洞恶意数据包节点宕机CVE-2021-35041用户层开发者使用者服务供应商应用层静态符号执行动态模糊测试代码纠错代码推荐合约漏洞检测合约安全开发设施层底层代码测试密码算法库共识协议系统层种子生成变异选择信息记录执行比较监测策略操作符存储VM测试VM插桩实时阻断VM加固研究目标：建立跨层全栈的FIS
2、CO-BCOS安全保障系统一、研究背景二、研究内容三、未来研究方 法创 新提出了集成漏洞检测工具，在合约开发过程中进行防护，降低现有工具漏报率。搭建神经网络推荐安全代码，利用语句级别的推荐帮助开发者快速开发合约。1.SCStudio:A Secure and Efficient Integrated Development Environment for Smart Contracts(ISSTA 2021,CCF A)2.Smart Contract Testing:What Is the Best Choice?(ISSTA 2021,CCF A)学 术成 果成 果应 用代码已经迁移到FI
3、SCO BCOS仓库目录下，由FISCO BCOS的CTSC-SIG成员共建工具已经完成系统测试，在VSCode应用市场正式上线方 法创 新首次提出在虚拟机层次对智能合约进行安全监测，对交易的执行安全进行保障设计了可插拔的监控策略和操作符存储结构，可以对多种危险行为进行动态阻断1.EVM*:From offline detection to Online Reinforcement for Ethereum Virtual Machine(SANER 2019,CCF B)2.Security reinforcement for Ethereum virtual machine(IPM 201
4、9,CCF B)学 术成 果成 果应 用加固的虚拟机框架代码作为核心特性之一，合入到了FISCO BCOS 2.0的代码中初步实验发现针对危险交易阻断率达到，支持整数溢出等多种漏洞类型方 法创 新自定义虚拟机执行差异度函数，导向模糊测试的变异过程，高效触发漏洞定义合约变异算子，自动生成大量合法的合约和交易，为模糊测试提供高质量输入1.EVMFuzzer:Detect EVM Vulnerabilities via Fuzz Testing(ESEC/FSE 2019,CCF A)2.金链盟中国区块链应用大赛十强（EVM中挖掘多个漏洞收入NVD）成 果应 用 一、研究背景二、研究内容三、未来研究
5、共识协议、密码库及数据存储是区块链系统的基础软件,为上层应用提供支撑研究目标及研究内容研究目标及研究内容研究方案与技术路线：区块链系统共识协议安全测试框架研 究背 景共识协议的实现存在漏洞，而且通过简单的测试方法很难被开发者发现。共识协议的漏洞影响巨大，如果被利用或者触发可能导致整个区块链系统失效。研究方案与技术路线：区块链系统共识协议安全测试框架设 计 方 案伪装节点进行模糊测试定义变异策略和领域规则相关的发包策略研究方案与技术路线：区块链系统密码库安全测试框架研 究背 景区块链依赖的加密算法库漏洞量巨大，安全问题严峻，加密逻辑漏洞很难发现。目前的工具缺乏反馈机制，效率低，无领域特定支持，无法高效地进行漏洞检测。研究方案与技术路线：区块链系统密码库安全测试框架设 计方 案利用不同密码库实现的输出差异度进行导向模糊测试，更快地触发逻辑漏洞。根据区块链系统的场景进行构造领域相关的输入，保证测试的高效性。
sgpjbg002
工作日 8:30 - 17:30
报告分类
