本论坛将于CNCC2019中国计算机大会第三天（10月19日）下午在苏州金鸡湖国际会议中心A216会议室举行，共邀清华、同济、中科院、中国科学院大学等机构的专家与你探讨。

论坛时间：2019年10月19日（中国计算机大会第三天）A216会议室

地点：苏州市 金鸡湖国际会议中心

论坛主席：李晓维，CCF会士，中科院计算所 共同主席：叶靖  中科院计算所

论坛主席：李晓维  CCF会士，中科院计算所

李晓维，现任中国科学院计算所研究员（中国科学院大学教授）、计算所学位评定委员会副主席，计算机体系结构国家重点实验室常务副主任。获国家技术发明奖、国家科技进步奖；入选国家百千万人才工程和科技北京百名领军人才培养工程，获突出贡献中青年专家、全国优秀科技工作者等荣誉称号。现任中国计算机学会理事、会士、JCST副主编。IEEE CS TTTC 副主席，IEEE TCAD、JETTA等国际期刊编委。

共同主席：叶靖  中科院计算所

  叶靖，中国科学院计算技术研究所，计算机体系结构国家重点实验室，副研究员。2014年在中科院计算所获博士学位，2008年在北京大学信息科学与技术学院获学士学位。研究方向包括集成电路测试、硬件安全（物理不可克隆函数、硬件木马等）、人工智能安全。曾获北京市科学技术奖二等奖、IEEE测试技术委员会E. J. McCluskey博士论文奖亚洲区第二名、SEMICON中国国际半导体技术大会最佳青年论文奖等。

硬件安全与容错为信息系统的安全可靠运行提供了重要保障。近年来，人为的、天然的、恶意的、无意的各种意外或攻击，严重威胁着信息系统的安全性与可靠性。针对该问题，本论坛将从硬件到系统、从威胁到防御、从研究到应用，讨论安全与可靠隐患、分析不同来源产生的不同危害、探索有效的检测与容错容侵方法，畅想未来安全可靠的信息时代。

江建慧  同济大学

报告一题目：Safety设计和运行时监测：从数字电路到计算机程序

报告摘要：随着人工智能、大数据、物联网、第5代移动通信等技术和产业的迅猛发展，信息通信技术在安全-关键（safety-critical）领域的应用使得集成电路、计算机、网络和软件的可信赖性（dependability）变得越来越重要。本报告对数字电路、计算机硬件、计算机程序的运行时安全性问题进行收集和整理，对安全性设计的原理和方法、运行时监测技术的发展历程，及其在交通、医疗和电子商务等领域的应用案例进行分析，介绍关键安全性技术的最新研究与开发进展，并讨论当前和未来该技术所面临的挑战和机遇。

报告人简介：江建慧，博士，教授，博士生导师。现任同济大学软件学院副院长，兼任中国计算机学会容错计算专业委员会副主任、中国计量测试学会集成电路测试专业委员会副主任、上海市高等教育学会高校计算机专业委员会主任，《同济大学学报（自然科学版）》编委会委员等职。曾任同济大学计算机科学与技术系副主任、主任。长期从事容错计算、系统与网络security、测试与诊断等方向的理论研究和技术开发。完成了国家级、上海市和企业合作项目近40项。多项成果用于企业产品生产线、技术服务平台和工程项目。发表论文200多篇，SCI/EI收录100多篇，出版技术专著和教材各1部。获华为无线网络产品线“2015年价值合作成果奖”、上海市科技进步一等奖、上海市教学成果一等奖、宝钢教育基金优秀教师奖等。

沈海华  中国科学院大学

报告二题目:  集成电路芯片的攻击与防御

报告摘要：集成电路芯片安全是构建安全可靠计算机系统的核心和基石。长期以来，芯片安全问题一直是困扰学术界和产业界的难题，本报告介绍威胁集成电路芯片安全的一系列攻击技术及其防御手段，在此基础上进一步探讨保障芯片安全、构建安全可靠计算机系统的新思路。

报告人简介：沈海华，中国科学院大学教授，博士生导师。中国计算机学会高级会员，中国计算机学会容错专委会常务委员，中国计算机学会体系结构专委会委员，中国计量测试学会集成电路测试专委会委员。2002年毕业于清华大学计算机系统结构专业，获博士学位。2002~2013年在中科院计算所从事龙芯处理器研制工作，龙芯公司成立后，担任龙芯公司副总工程师，负责处理器设计验证。2013年调入中国科学院大学计算机科学与技术学院，担任硬件安全实验室主任。主要研究方向包括：计算机体系结构、集成电路设计验证、硬件安全等，先后主持国家863、国家自然科学基金、核高基子课题等国家级、省部级科研项目10余项，在IEEETrans. on VLSI、IEEE Trans. on CAD、IEEE Trans. on Circuits &Systems II、HPCA、DATE等国内外重要期刊会议上发表学术论文40余篇，出版专著2部、译著1部，申请发明专利20余项，软件著作权5项，成果获得省部级奖励四项。长期担任IEEE Trans. on Computer、IEEE Trans. on VLSI、IEEE Trans. on CAD、IEEETrans on Systems,ManandCybernetics、IEEE Access等领域重要期刊审稿人，多次受邀担任ICCD、ITC-ASIA、ATS、AsianHOST、CFTC等国际会议PC及硬件安全分会主席。

李华伟  中国科学院计算技术研究所

报告三题目：云计算环境下的深度学习系统保护策略

报告摘要：本报告将分析深度学习系统在云计算环境下面临的隐私数据泄露和模型攻击风险，回顾数据和模型保护的关键技术，侧重介绍中科院计算所提出的基于存内计算的轻量级深度学习系统保护策略，并探讨未来可能的发展方向。

报告人简介：李华伟，研究员，博士生导师。2001年获中国科学院院长奖学金特别奖和“微软学者”称号。现任中国科学院计算机系统结构重点实验室VLSI测试与设计验证组组长，中国计算机学会容错计算专业委员会秘书长。2009年8月-2010年8月，在美国加州大学圣巴巴拉分校担任访问学者。主要从事集成电路验证与测试方法研究，承担了国家自然科学基金、国家973和863等多个研究项目、龙芯CPU设计验证与测试等工程项目。在IEEE Trans. on VLSI，J. Electron. Test.，《计算机学报》等国内外刊物和IEEE ITC, VTS, DATE等著名国际学术会议上发表论文100余篇（其中SCI收录15篇，EI收录70篇以上），授权发明专利10项；软件（著作权）登记10件。作为“龙芯CPU”研究集体中芯片测试方面主要负责人之一，荣获2003年度中科院杰出科技成就奖（荣誉）。2008年荣获中国科学院卢嘉锡青年人才奖。合作完成的基础研究成果“集成电路逻辑测试与验证基础技术”荣获2007年度北京市科学技术奖（基础研究类）三等奖。合作完成的技术发明成果“数字电路实速检测和故障诊断技术及其应用”荣获2008年度北京市科学技术奖（技术发明类）三等奖。多次任IEEE国际会议Session Chair、IEEE国际会议Program Committee成员。是本研究领域顶级国际会议DAC、ITC、VTS和著名学术刊物IEEE Trans. CAD, IEEE Trans. VLSI, ACM Trans. DAES, JETTA的审稿人。IEEE Senior Member，中国计算机学会（CCF）高级会员。《计算机辅助设计与图形学学报》编委。

吕勇强  清华大学

报告四题目：CPU安全区不安全——VoltJockey：基于电压故障注入的CPU攻击

报告摘要：由于CPU设计初衷在安全性方面的疏忽，针对各种CPU、计算硬件的安全攻击近年来不断涌现，例如大家已经熟知的“熔断”与“幽灵”攻击，对CPU和系统安全性带来了强大的冲击。本文将和大家分享我们在安全CPU攻击方面的最新研究成果，展现如何采用硬件故障对CPU的硬件隔离设施（如TrustZone）进行攻击。不同于传统采用编程接口漏洞的攻击方式，该方法完全采用CPU的硬件漏洞，防御起来相对困难，类似的攻击样态也很有可能成为下一个CPU安全面临的“幽灵“，亟待业界的关注和解决。

报告人简介：吕勇强，1979年出生，博士，清华大学信息国家中心副研究员，主要研究认知与安全计算，围绕人机融合系统安全发表高水平论文70余篇，包括多篇领域顶级会议和期刊论文，获领域顶级会议论文奖，2014年教育部科技进步奖一等奖、2015年国家科技进步奖二等奖。