系统软件安全论坛

---

系统软件是控制和协调计算机底层硬件及外部设备、支持应用软件开发和运行的系统核心基础软件，涵盖了操作系统、编程语言、编译器、解释器、数据库、运行时环境、集成开发环境等。随着人工智能、物联网、区块链、系统编程语言、云计算、开源指令集等领域的快速发展，相关系统软件的安全问题大量涌现，比如利用CPU预测执行的Meltdown“熔断”和Spectre“幽灵”攻击、利用软件供应链发起的后门攻击和漏洞攻击。发现、缓解和防御系统软件存在的安全风险与问题，对于保障各类计算机系统的安全至关重要，亟需国内外学者对相关各类新兴技术开展广泛的探索、尝试和交流。

ChinaSoft 2021 系统软件安全Track关注系统软件风险、缺陷和漏洞的挖掘、检测、利用、评估、管理、修复、缓解和防御等相关技术方法，针对学术和产业面临的难题、挑战和瓶颈，征集国内外研究人员在理论、技术方面取得的重大突破和具有创新性、影响力的高水平研究成果，并探讨其未来的应用前景。

论坛组织委员会：

杨 珉（复旦大学）

张 超（清华大学）

宋 富（上海科技大学）

张 源（复旦大学）

日程安排：

时间：2021年12月24日（星期五），08:15~12:30

论坛议程：

论坛组织委员会简介：

1. 论坛主席：杨珉

简介： 杨珉，复旦大学教授，第八届国务院学位委员会网络安全学科评议组成员，教育部长江学者特聘教授，国家973项目首席科学家。聚焦于智能系统安全研究，在恶意代码分析、漏洞检测和AI系统安全等领域中取得较大进展，发表网络安全四大顶会论文20余篇，相关成果得到国家领导人和多部委的高度重视。指导的安全战队“复旦白泽”在国内外安全竞赛中屡获佳绩，为行业输送了一批高水平人才。

2. 论坛主席：张超

简介： 张超，清华大学副教授，蓝莲花战队教练。获得国家级青年人才计划、清华大学学术新人奖、MIT TR35 China、求是杰出青年学者等荣誉。兼任中国青年科技工作者协会第六届理事、中国人工智能学会人工智能与安全专委会常务委员等。主要研究软件和系统安全，尤其是智能攻防方向，在国际四大安全会议发表论文二十余篇。研发的自动攻防系统获得美国国防部DARPA CGC机器自动攻防竞赛初赛防御第一、决赛攻击第二。

3. 论坛主席：宋富

简介： 宋富，上海科技大学长聘副教授、研究员、博导、系统与安全中心主任，CCF高级会员、形式化方法专委会和系统软件专委会委员。宋富博士于2013年4月获得巴黎大学（原巴黎狄德罗大学）计算机科学博士学位，同年8月加入华东师范大学任讲师，2016年1月破格晋升为副研究员。2016年8月全职加入上海科技大学信息科学与技术学院，担任tenure-track助理教授、研究员，2021年7月晋升为长聘副教授。宋富博士长期从事软件和AI安全的基础理论和应用理论研究，主持/参与了国家自然科学基金重大、重点、中德国际合作、面上等项目；已在国际一流期刊和会议发表60多篇论文，包括软件工程领域顶级期刊和会议IEEE TSE、ACM TOSEM、CAV、ICSE、ISSTA、ASE，系统安全领域顶级会议和期刊IEEE S&P、IEEE TDSC等。

4. 论坛主席：张源

简介： 张源，复旦大学副教授。入选上海市启明星计划，获ACM SIGSAC中国新星奖。主要研究方向为软件安全和程序分析，相关工作主要发表于网络与系统安全顶会和软件工程顶会。担任IEEE S&P、USENIX Security、WWW等会议的程序委员会委员，Empirical Software Engineering Journal（EMSE）编委、软件学报专刊特邀编委。带领团队获得2020/2021年全国大学生信息安全创新实践能力赛冠军，2019/2020年全国高校网安联赛团队赛冠军、个人赛冠军。