杨珉(1979-),男,博士,复旦大学教授,博士生导师,第8届国务院学位委员会网络安全学科评议组成员,教育部长江学者特聘教授,国家973项目首席科学家.聚焦于智能系统安全研究,在恶意代码分析、漏洞检测和AI系统安全等领域中取得较大进展.指导的安全战队"复旦白泽"在国内外安全竞赛中屡获佳绩,为行业输送了一批高水平人才;张超(1986-),男,博士,清华大学长聘副教授,CCF高级会员,蓝莲花战队教练.获得国家级青年人才计划、清华大学学术新人奖、MIT TR35 China、求是杰出青年学者等荣誉.兼任中国青年科技工作者协会第6届理事、中国人工智能学会人工智能与安全专委会常务委员等.主要研究软件和系统安全,尤其是智能攻防方向,在国际四大安全会议发表论文20余篇.研发的自动攻防系统获得美国国防部DARPA CGC机器自动攻防竞赛初赛防御第一、决赛攻击第二;宋富(1983-),男,博士,上海科技大学长聘副教授,研究员,博士生导师,入选上海市浦江人才计划、上海市晨光学者,CCF高级会员,形式化方法专委会和系统软件专委会委员.主持/参与了国家自然科学基金重大、重点、中德国际合作、面上等项目,发表论文60多篇,包括软件工程领域顶级期刊和会议IEEE TSE、ACM TOSEM、CAV、ICSE、ISSTA、ASE,系统安全领域顶级会议和期刊IEEE S&P、IEEE TDSC等.获得欧洲软件科学与技术协会最佳论文奖1项.主要研究软件和AI安全的基础理论和应用理论研究;张源(1987-),男,博士,复旦大学副教授,博士生导师,CCF专业会员,入选上海市启明星计划,获ACM SIGSAC中国新星奖.主要研究方向为软件安全和程序分析,相关工作主要发表于网络与系统安全顶会和软件工程顶会.担任IEEE S&P、USENIX Security、WWW等会议的程序委员会委员,Empirical Software Engineering Journal (EMSE)编委.带领团队获得2020/2021年全国大学生信息安全创新实践能力赛冠军,2019/2020年全国高校网安联赛团队赛冠军、个人赛冠军
杨珉,E-mail:m_yang@fudan.edu.cn;张超,E-mail:chaoz@tsinghua.edu.cn;宋富,E-mail:songfu@shanghaitech.edu.cn;张源,E-mail:yuanxzhang@fudan.edu.cn
杨珉,张超,宋富,张源.系统软件安全专题前言.软件学报,2022,33(6):1959-1960
复制