清华大学软件系统安全保障小组研究成果“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%。
