报告时间：2025年3月4日(周二)10:00
报告地点：计算机与人工智能学院D303
报告专家：赵磊，武汉大学教授
报告内容：软件漏洞的挖掘、分析与诊断，具有切实的应用需求。在无源代不可取的前提下，由于符号、类型等高级程序表示的缺失，二进制程序层面的漏洞挖掘与分析面临严峻挑战。在本报告中，我们将围绕二进制程序的漏洞挖掘、分析与诊断，重点介绍以模糊测试、符号执行等代表性漏洞分析技术的概念与进展，同时也讨论近期的研究成果和研究思路。
专家简介：
赵磊，武汉大学国家网络安全学院教授、博士生导师、副院长。获国家级青年人才，湖北省武汉市“黄鹤英才”、武汉大学“珞珈学者”、武汉大学杰出青年（教职工）等荣誉。长期从事软件及系统安全方向研究，主持多项国家重要部委重大研究计划项目与课题、国家自然科学基金项目、以及校企合作项目（包括华为技术有限公司、中船重工、中国核电、蔚来汽车等合作项目）等。主要科研成果发表在NDSS、CCS、Usenix Security、TDSC等网络安全领域顶级会议期刊。获得湖北省科技进步一等奖和二等奖各1项、湖北省教学成果二等奖、武汉大学教学成果一等奖等。
