重要消息

论坛组织：

申文博、常瑞、周亚金

时间：2020年11月21日(星期六)

13:30-17:00

地点：富力假日酒店宴会厅3。

会议注册：

http://chinasoft2020.cqu.edu.cn/hyzc.htm

预定酒店：

http://ccf.chinasoft2020.85do.com/

论坛议程：

嘉宾简介：

陈海波，上海交通大学特聘教授，并行与分布式系统研究所所长，领域操作系统教育部工程研究中心主任，国家杰出青年基金获得者、ACM杰出科学家。主要研究领域为操作系统和系统安全。曾获教育部技术发明一等奖(第一完成人)、CCF青年科学家奖、全国优秀博士学位论文奖等。目前担任ACM SIGOPS ChinaSys主席、CCF系统软件专委会副主任、ACM旗舰杂志《Communications of the ACM》中国首位编委与Special Sections领域共同主席、《ACM Transactions on Storage》编委。曾任ACM SOSP 2017年大会共同主席、ACM CCS 2018系统安全领域主席、ACM SIGSAC奖励委员会委员。按照csrankings.org的统计，其在操作系统领域近5年(2015-2019)发表的高水平会议(SOSP/OSDI, EuroSys, Usenix ATC和FAST)论文数居世界第一。

秦承刚，蚂蚁集团资深技术专家，任职于可信原生技术部，带领可信硬件与内核团队，专注在可信金融基础设施的技术创新与研发工作，涉及操作系统/安全容器等系统软件及软硬件结合领域。在ASPLOS，SoCC等学术会议上发表过多篇论文。

Fu Song is an Assistant Professor at School of Information Science and Technology in the ShanghaiTech University. Fu received his Ph.D. from University Paris Diderot (Paris 7) in 2013. He was an Associate Research Professor and Lecturer at School of Computer Science and Software Engineering in the East China Normal University during 2013-2016, and a visiting researcher at Computer Security Lab of Nanyang Technological University in 2014. His research spans formal verification, program analysis and cyber-security. Fu has published more than 50 papers in peer-reviewed conferences and journals including CAV、ICSE、ISSTA、, IEEE S&P、AAAI、IJCAI、I&C, IEEE TSE and ACM TOSEM. He has been the recipient of the EASST best paper award at ETAPS 2012、Shanghai Pujiang Talent and Shanghai Chenguang Scholar.

赵永望 浙江大学 教授、博导，担任ARINC653国际操作系统标准委员会委员、国际信息技术安全评估标准(Common Criteria,CC)操作系统内核技术委员会委员、CCF系统软件专委会和形式化方法专委会委员。主要研究方向包括操作系统安全、形式化验证、编程语言等。提出了操作系统形式验证的系统性理论和方法，突破了覆盖单核到多核、标准到产品、模型到源码的形式化验证关键技术，完成了10多个国内外操作系统的形式验证工作，显著提升国产系统的安全可靠性。相关研究成果得到美国波音、法国空客和国际知名实时操作系统厂商的认可，被纳入国际标准，并在开源实时操作系统社区产生影响力。

论坛组织：

申文博，浙江大学百人计划研究员，博士生导师。2015年获得美国北卡罗莱纳州立大学计算机博士学位，研究方向为系统及无线安全，并于同年加入位于美国硅谷的三星美国研究院(Samsung Research America)，担任操作系统内核安全的技术负责人。于2019年加入浙江大学网络空间安全研究中心和计算机科学与技术学院。申文博研究员研究成果包含论文及专利30余篇，覆盖全部计算机安全四大国际会议，获得2项杰出论文奖，包含四大顶级会议之一的NDSS的杰出论文奖。申文博研究员常年活跃于移动系统安全攻防的第一线，通过分析实际攻击，设计相应的操作系统保护方案，具有学术界和工业界的双重研究经历和视野；多年来设计、实现并主导部署了多种操作系统内核安全机制，保护超过亿部设备系统内核安全。

常瑞，副教授，博士生导师，浙江大学。从事系统安全方向的科研与教学十余年，于解放军信息工程大学获得计算机科学与技术博士学位，并获ACM中国优秀博士学位论文分会奖。研究兴趣围绕嵌入式系统安全，研究方向包括可信执行环境安全防护、系统安全加固、形式化分析与验证、边缘计算安全等，现任国家信息标准委员会专家、IEEE 可信设备扩展标准项目副主席(P2811.6)，近三年发表相关学术论文四十余篇。加入浙江大学前曾就职于中国人民解放军信息工程大学，期间多项研究成果获得省部级以上奖励(省部级教学成果一等奖1项、省部级科技进步二等奖2项等)，教学方面获得全国微课竞赛二等奖、省部级一等奖等，被评为全军优秀教师。

周亚金老师(个人主页：https://yajin.org/)是浙江大学网络空间安全学院/计算机学院百人计划研究员(博导)。周老师于2015在美国北卡州立大学获得博士学位，随后担任奇虎360高级安全研究员，从事移动安全产品研发工作。2018年加入浙江大学。他发表了40多篇学术论文，包括安全四大会议10篇，四次获得最佳论文奖，包括EURO S&P 2019(国内首次)。他的研究具有较大的影响，总引用数超6500次，h-index 17。两篇文章入选自1981年以来全球引用最多的安全论文前100篇列表。入选AMiner 2009到2019年全球安全和隐私领域最有影响力的100位研究者列表(排名48)。作为指导老师之一，参加美国国立卫生部主办的2019 iDash全球基因安全计算SGX赛道，开发的基于硬件的隐私机器学习系统性能比第二名领先数十倍，以绝对优势获得全球第一名(国内首次)。他受邀担任过个顶级安全学术会议的程序委员会委员，包括CCS, IEEE S&P以及EURO S&P。他的研究工作得到了华尔街日报、中央电视台等媒体报道和谷歌、facebook、三星等企业的致谢。