报告题目：软件安全分析研究进展
报告人：苏璞睿
报告摘要：软件既是网络攻防中的重要对象，也是实施网络攻击的重要手段。软件安全分析是在理解软件机理、分析软件行为的基础上实施软件漏洞分析与检测、网络攻击检测与溯源等软件安全对抗工作。近年来团队在软件的数据流分析、软件漏洞分析与检测等方面取得了序列进展，实现了一系列工具，但在全面支撑实际工作方面，仍面临诸多问题和挑战。报告将分享介绍已取得的部分进展，并探讨面临的问题和挑战。
时间：2020-12-10（周四），上午9:00～10:10
地点：天河南楼507会议室
苏璞睿，中国科学院软件研究所研究员，博士生导师，可信计算与信息保障实验室常务副主任，计算机病毒防御国家工程实验室中科院分中心主任，第二十二届网络攻防国际学术会议（RAID 2019）大会主席，曾主持国家重点研发计划项目、国家自然科学基金重点项目等国家级科研项目十余项，在USENIX Security、ACM CCS、NDSS等国际学术会议和期刊发表学术论文数十篇篇，曾获中国通信学会科学技术一等奖、北京市科学技术二等奖等奖励和荣誉。