小组研究成果论文被ESEC/FSE 2021接受


清华大学软件系统安全保障小组研究成果论文“Making Smart Contract Development More Secure and Easier”被ESEC/FSE 2021工业长文接收。
该论文设计并实现了一个智能合约集成开发测试环境,从基于安全加固的代码推荐和基于集成测试的漏洞扫描两个角度出发保障合约安全,在推荐精度和漏洞覆盖率上均超过以太坊官方开发平台Remix,并被联盟链FISCO-BCOS推荐为联盟开发工具。该工作由硕士生任萌、殷梓敬,博士生马福辰等同学共同完成。

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