小组研究成果被ACM会议ESEC/FSE 2019 接收

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

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

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