CCF@U950：CCF容错计算专委走进西北工业大学

CCF走进高校第950场

敬请关注

由中国计算机学会（CCF）主办，CCF容错计算专委、西北工业大学大学承办的CCF走进高校活动，将于2023年5月14日在西北工业大学召开，敬请关注。

时间：2023年5月14日（周日）14:00--17:30

活动地点：西安市友谊西路127号 西北工业大学正禾宾馆西4会议室

报告信息：

报告题目：处理器芯片架构安全

报告摘要：现代处理器微架构设计历经数十年演化，在性能、效率、功能等方面获得巨大提升，但其安全问题日益凸显。在处理器运行过程中，微架构内部会发生许多错综复杂的逻辑操作，这些运行状态通常是“不可见”。尽管攻击者无法直接查看这些操作结果，但她可以通过观察和学习微架构组件的状态变化来推断用户程序的执行状态，从而间接窃取用户秘密数据。自著名的“Meltdown”和“Spectre”漏洞问世以来，人们对处理器芯片微架构方面的安全研究愈发重视，许多新型攻击向量技术被持续披露。本次报告将分析处理器微架构存在的关键问题及其安全挑战，介绍课题组近期在处理器芯片架构安全方向的研究成果。

嘉宾简介：

张吉良，湖南大学半导体学院（集成电路学院）教授、副院长，国家优青。主持国家自然科学基金重点项目、国防科技基础加强计划重点项目等。主要从事信息安全芯片设计、集成电路硬件安全、新型计算架构电路设计等方向研究，以一作/通信作者发表CCF A类会议和ACM/IEEE会刊36篇。

报告题目：同态加密软硬件协同设计

报告摘要：全同态加密是一种可以在不传输解密密钥的前提下在密文上执行任意（图灵完备）计算的密码算法，在外包计算及双方安全计算场景中有广泛应用。尽管全同态加密具有最优交互轮数及低在线通信量的特点，但密文计算效率很低，阻碍了全同态加密在许多数据安全保护领域的应用落地。本次报告将以全加密处理器及全加密数据库等场景为例，介绍课题组在全同态加密的应用设计、算子设计、算法实现及硬件加速等多个方面的研究成果。

嘉宾简介：

边松，于2014年毕业于威斯康辛麦迪逊分校，分别于2017年和2019年在京都大学取得硕士与博士学位，于2019年任京都大学助理教授，于2021年任北京航空航天大学网络空间安全学院副教授。他的主要研究方向是同态加密、隐私保护计算与密码软硬件协同加速，于USENIX Security、ACM CCS、VLDB及DAC等CCF-A类期刊及会议发表论文14篇，其中以第一或通讯作者身份发表论文10篇。获国家自然基金委、日本文部科学省战略创造研究、日本学术振兴会特别研究员项目支持。他是多个国际会议与期刊的程序委员与审稿人，包括AAAI、ICML、IEEE TDSC、TIFS及TCAD。他是IEEE与CCF的会员，CCF容错专委执行委员。

报告题目：类脑智能电路设计及应用

受人脑工作机制启发，发展类脑智能逐渐成为人工智能与计算科学领域研究的热点。而另一方面，人工智能的高速发展，需要底层硬件的计算性能不断提升。受制于传统冯诺依曼体系架构，现有的通用硬件平台（CPU、GPU和FPGA等）难以实现相关算法。本报告从器件、算法、电路和类脑智能等多个角度出发，汇报面向存算一体的类脑智能电路方面研究工作，介绍如何利用类脑学习、情感、记忆等特性进行类脑硬件电路设计，并应用在物联网和边缘计算、机器人、图像处理、人脸识别、辐射检测等领域。

嘉宾简介：

洪庆辉，湖南大学副教授、博士生导师、通信工程系副主任，获湖南大学青年教师托举计划、CCF杰出演讲者、湖南省自然科学三等奖、电子信息学报优秀编委。担任中国计算机学会容错计算专委委员，集成电路设计专委委员，中国电子学会混沌与非线性电路专委委员，电子与信息学报青年编委。主要从事类脑智能电路、存算一体集成电路、AI芯片等研究，主持国家自然科学重点项目课题、国家自然科学基金青年项目、CCF-华为胡杨林基金、湖南省自然科学基金、湖南省教育厅开放平台创新基金、广东省科技特派员、广东省光电信息处理芯片与系统开放课题等各类科研项目7项。以一作或通信作者在IEEE TNNLS（2）、TCAD（3）、TCAS-I（3）、IOTJ（2）、TVLSI（2）、TBioCS、TCDS（2）、IEEE JETCAS、中国科学：信息科学等顶级期刊上发表SCI论文25篇，IEEE论文16篇，其中CCF-A或中科院一区9篇，IF>10论文5篇。

报告题目：任意精度计算和量子信息处理

报告摘要：近年来，量子计算和科学计算因其广阔的应用前景引起了国内外学术界和工业界的广泛关注。在量子计算和科学计算领域，任意/超高精度计算是一个亟待解决的关键难题。本次报告将首先介绍本人提出的基于高有效位优先（Most-significant Digit-first，MSDF）算术算法的任意精度计算架构ARCHITECT。然后结合FPGA的可重构和拓展性高的特点，本次报告第二部分将介绍本人参与搭建的高速轻量化量子密钥分发系统以及基于FPGA集群的超大规模并行计算原型机。鉴于量子计算已经进入“容错量子时代“，本次报告最后介绍本人团队提出的一种新型低误差的量子电路设计方法并给出低量子比特数，低量子门消耗和低量子电路深度的优化模型。

嘉宾简介：

李鹤博士，毕业于英国帝国理工学院，先后在英国剑桥大学（师从剑桥大学副校长、英国皇家工程院院士）担任量子信息处理方向博士后研究员和三一学院教学讲师，东南大学电子科学与工程学院副研究员，入选“中国科协青年人才托举工程“（青托）。李鹤博士在可编程芯片（FPGA）开发和系统优化、量子计算电路与系统、量子通信系统和集成电路硬件安全等领域取得一些独创性成果，在IEEE TC、TVLSI、MICRO、DAC、OFC等领域重要期刊会议上发表论文40余篇，授权/受理发明专利若干项，获得IEEE FPT 2017 最佳论文展示奖。目前担任可编程芯片（FPGA） 和集成电路EDA 领域国际旗舰会议技术程序委员会（TPC）委员，如DAC、ICCAD、ICCD、ISCAS、 FCCM、FPL、FPT 等、Frontiers in Electronics 期刊编委, Electronics 和《电子与信息学报》专题副主编，IEEE FPT 2020-2022共同宣传主席，IEEE/ACM FCCM、ASAP、GLSVLSI、ASPDAC、SOCC等分会议主席以及十余个ACM/IEEE汇刊审稿人。

报告题目：密码硬件工程的产学研实践与思考

报告摘要：密码硬件工程是应用密码学理论和电子工程技术相结合，包括设计、实现、评估加密算法和密码系统，对于银行金融、智能网联汽车、航空航天等领域意义重大。本人为密码科学与技术系的本科学生开设《密码硬件工程》系列课程，并致力于探索通过产学研融合的模式，从本科阶段开始培养学生的密码硬件工程基础，能够掌握并应用硬件和安全相关的知识和技能，面向国家重大战略需求储备人才。

嘉宾简介：

鲁赵骏博士，于2013年获得华中科技大学电子科学与技术系工学学士学位，于2018年获得华中科技大学光学与电子信息学院微电子学与固体电子学工学博士学位。2016年底至2018年底在美国马里兰大学屈钢教授实验室联合培养，2019年1月至2020年7月在屈教授实验室做博士后。2020年12月至今在华中科技大学网络空间安全学院任讲师，主要研究方向为芯片安全与容错、嵌入式系统软硬件协同设计、车联网安全与隐私，2017年至今在DAC、NDSS、IEEE TC、IEEE TITS、IEEE TCASI、IEEE TVLSI、IEEE D&T等高水平会议和杂志发表论文10余篇，其中高引2篇。鲁赵骏博士获得国家自然科学青年基金项目资助，并担任CCF容错专委执行委员。

报告题目：硬件Enclave隔离技术挑战：兼容性、安全性与性能

报告摘要：基于硬件的可信执行环境技术可以对用户安全敏感的数据和代码进行隔离保护，确保特权的操作系统和虚拟机管理程序等无法窃取用户隐私。由于“强”隔离机制的实施，硬件Enclave运行时模型很可能在兼容性、安全性与性能等方面存在重要的权衡（trade-offs）。本报告主要以Intel SGX构建的Enclave为例，探讨其在上述三个维度的技术挑战及解决方案，并分享团队在该领域的相关成果。

嘉宾简介：

崔津华，湖南大学助理教授，中国计算机学会容错计算专委会执行委员，ACM专业会员。2022年博士毕业于国防科技大学，2016年硕士毕业于西安电子科技大学，曾是新加坡国立大学联合培养博士，新加坡管理大学高级研究工程师。主要研究方向是机密计算与处理器芯片安全。主持湖南省自然科学基金、长沙市自然科学基金重点项目等。相关工作以第一作者或通信作者发表于ACM CCS、ACM TOPS、DATE等国际重要会议和期刊。相关研究成果获得众多国际知名厂商或组织的公开认可与致谢，包括Intel、Microsoft、Apache等，并被12种以上语言的100+家境外媒体报道。

CCF微信公众号，欢迎关注