小组研究论文EVMFuzzer被第27届ESEC/FSE 2019 工具论文接收


     清华大学软件系统安全保障小组研究成果论文“EVMFuzzer: Detect EVM Vulnerabilities via Fuzz Testing”被ESEC/FSE 2019工具论文接收。

     该论文提出并开发了针对以太坊虚拟机(Ethereum Virtual Machine, EVM)的缺陷挖掘工具。论文利用差分模糊测试的思想,能够迅速、准确地检索并挖掘出多编程语言实现的以太坊虚拟机的漏洞,从而保障以太坊生态环境的安全。该工作由硕士生傅滢、任萌、杨鑫,博士生马福辰、施鹤远等共同参与完成。

     ESEC/FSE是软件工程领域顶尖学术会议,是中国计算机协会(CCF)评选出的为数不多的软件工程领域A类会议之一。ESEC/FSE对所录用的论文在原始创新性方面有极高要求,并要求论文具有解决工程实际问题的实用性。