近日，北京大学计算机科学技术研究所2006级直博生王铁磊（导师：邹维研究员）的论文 “IntScope: Automatically Detecting Integer Overflow Vulnerability In X86 Binary Using Symbolic Execution” 在NDSS’09 (16th Annual Network & Distributed System Security Symposium)国际会议上发表。文章介绍了程序整数溢出漏洞挖掘的一种新方法。这是自NDSS创立16年来中国大陆研究机构首次以第一作者单位在NDSS会议上发表论文。

NDSS是国际互联网协会(ISOC)主办的两个重要会议之一，也是国际公认的系统安全领域四个顶级会议之一，以关注最前沿研究成果、注重研究成果实用性和论文精益求精而著称。2009年录用率仅为11.7%。

王铁磊同学所在的北大计算机研究所信息安全工程研究中心软件安全脆弱性分析课题组根据此项研究，成功发现常用软件中20多个最新漏洞，国际漏洞公布组织(CVE)、法国安全事件应急小组(FrSIRT)等机构为此先后发布了多项安全公告(如CVE-2008-4201, VUPEN/ADV-2008-2919)。相关软件商也迅速发布了安全补丁。近两年来，已有多项前沿性研究成果在该课题组产生，课题组负责人韦韬博士在研究面向安全分析的反编译问题时提出了一种新的二进制程序循环识别方法，其总体效率优于已在此领域应用多年的Havlak-Tarjan 算法。研究成果发表在SAS’07(14th International Static Analysis Symposium)国际会议上，成为这一程序静态分析国际权威会议创立14年来国内首发论文。

编辑：文尚