重要消息
论坛组织：
申文博、常瑞、周亚金
时间：11月21日(星期六)
13:30-17:00
地点：富力假日酒店宴会厅3。
会议注册：
http://chinasoft./hyzc.htm
预定酒店：
http://ccf./
论坛议程：
嘉宾简介：
陈海波，上海交通大学特聘教授，并行与分布式系统研究所所长，领域操作系统教育部工程研究中心主任，国家杰出青年基金获得者、ACM杰出科学家。主要研究领域为操作系统和系统安全。曾获教育部技术发明一等奖(第一完成人)、CCF青年科学家奖、全国优秀博士学位论文奖等。目前担任ACM SIGOPS ChinaSys主席、CCF系统软件专委会副主任、ACM旗舰杂志《Communications of the ACM》中国首位编委与Special Sections领域共同主席、《ACM Transactions on Storage》编委。曾任ACM SOSP 大会共同主席、ACM CCS 系统安全领域主席、ACM SIGSAC奖励委员会委员。按照的统计，其在操作系统领域近5年(-)发表的高水平会议(SOSP/OSDI, EuroSys, Usenix ATC和FAST)论文数居世界第一。
秦承刚，蚂蚁集团资深技术专家，任职于可信原生技术部，带领可信硬件与内核团队，专注在可信金融基础设施的技术创新与研发工作，涉及操作系统/安全容器等系统软件及软硬件结合领域。在ASPLOS，SoCC等学术会议上发表过多篇论文。
Fu Songis 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 . He was an Associate Research Professor and Lecturer at School of Computer Science and Software Engineering in the East China Normal University during -, and a visiting researcher at Computer Security Lab of Nanyang Technological University in . 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 、Shanghai Pujiang Talent andShanghai Chenguang Scholar.
赵永望 浙江大学 教授、博导，担任ARINC653国际操作系统标准委员会委员、国际信息技术安全评估标准(Common Criteria,CC)操作系统内核技术委员会委员、CCF系统软件专委会和形式化方法专委会委员。主要研究方向包括操作系统安全、形式化验证、编程语言等。提出了操作系统形式验证的系统性理论和方法，突破了覆盖单核到多核、标准到产品、模型到源码的形式化验证关键技术，完成了10多个国内外操作系统的形式验证工作，显著提升国产系统的安全可靠性。相关研究成果得到美国波音、法国空客和国际知名实时操作系统厂商的认可，被纳入国际标准，并在开源实时操作系统社区产生影响力。
论坛组织：
申文博，浙江大学百人计划研究员，博士生导师。获得美国北卡罗莱纳州立大学计算机博士学位，研究方向为系统及无线安全，并于同年加入位于美国硅谷的三星美国研究院(Samsung Research America)，担任操作系统内核安全的技术负责人。于加入浙江大学网络空间安全研究中心和计算机科学与技术学院。申文博研究员研究成果包含论文及专利30余篇，覆盖全部计算机安全四大国际会议，获得2项杰出论文奖，包含四大顶级会议之一的NDSS的杰出论文奖。申文博研究员常年活跃于移动系统安全攻防的第一线，通过分析实际攻击，设计相应的操作系统保护方案，具有学术界和工业界的双重研究经历和视野；多年来设计、实现并主导部署了多种操作系统内核安全机制，保护超过亿部设备系统内核安全。
常瑞，副教授，博士生导师，浙江大学。从事系统安全方向的科研与教学十余年，于解放军信息工程大学获得计算机科学与技术博士学位，并获ACM中国优秀博士学位论文分会奖。研究兴趣围绕嵌入式系统安全，研究方向包括可信执行环境安全防护、系统安全加固、形式化分析与验证、边缘计算安全等，现任国家信息标准委员会专家、IEEE 可信设备扩展标准项目副主席(P2811.6)，近三年发表相关学术论文四十余篇。加入浙江大学前曾就职于中国人民解放军信息工程大学，期间多项研究成果获得省部级以上奖励(省部级教学成果一等奖1项、省部级科技进步二等奖2项等)，教学方面获得全国微课竞赛二等奖、省部级一等奖等，被评为全军优秀教师。
周亚金老师(个人主页：/)是浙江大学网络空间安全学院/计算机学院百人计划研究员(博导)。周老师于在美国北卡州立大学获得博士学位，随后担任奇虎360高级安全研究员，从事移动安全产品研发工作。加入浙江大学。他发表了40多篇学术论文，包括安全四大会议10篇，四次获得最佳论文奖，包括EURO S&P (国内首次)。他的研究具有较大的影响，总引用数超6500次，h-index 17。两篇文章入选自1981年以来全球引用最多的安全论文前100篇列表。入选AMiner 到全球安全和隐私领域最有影响力的100位研究者列表(排名48)。作为指导老师之一，参加美国国立卫生部主办的 iDash全球基因安全计算SGX赛道，开发的基于硬件的隐私机器学习系统性能比第二名领先数十倍，以绝对优势获得全球第一名(国内首次)。他受邀担任过个顶级安全学术会议的程序委员会委员，包括CCS, IEEE S&P以及EURO S&P。他的研究工作得到了华尔街日报、中央电视台等媒体报道和谷歌、facebook、三星等企业的致谢。
