小组研究成果论文被第27届IEEE/ACM国际程序理解大会接收


      清华大学软件系统安全保障小组研究成果论文“Enabling Clone Detection For Ethereum via Smart Contract Birthmarks”被第27届IEEE/ACM国际程序理解大会(ICPC 2019)接收。

      该论文面向区块链智能合约,创新的提出了一种基于符号交易摘要的克隆检测技术,用于建模智能合约的高层次语义并计算合约间的语义相似性。基于该技术,该工作进一步实现了函数级别的合约安全漏洞检测应用,用于提升区块链安全性。该工作由博士后刘浛、硕士生杨志强、姜宇教授共同参与完成。

      IEEE/ACM国际程序理解大会(ICPC)是软件工程领域程序理解方向的高水平会议(CCF B类),主要关注对程序的可视化理解、自动认知、摘要性分析,以及软件开发生命周期中的开发、维护、重构、迁移、审计、测试等过程的理解和分析。ICPC 2019大会收录24篇长文(full paper)和4篇短文(short paper),长文录取率为25.8%。