CCF走进高校第1256场

敬请关注

由中国计算机学会（CCF）主办，CCF容错计算专委承办的CCF走进高校活动，将于2025年5月20日在航天五院召开，敬请关注。

时间：2025年5月20日（星期二）上午9点

地点：海淀区友谊路104号院 物资楼第一会议室

报告题目：硬件安全芯片

报告摘要：集成电路已广泛应用于工业生产、交通运输、移动通信、金融支付等众多关系国计民生的领域，成为我国信息化和信息安全体系的重要基础。目前典型的集成电路设计已达数十个IP核、数百万条代码、数亿个晶体管的规模，且一款芯片要经过设计、制造、测试和封装等多个流程，在各个环节都可能引入安全漏洞，攻击者可以利用芯片漏洞窃取芯片敏感数据、干扰甚至破坏整个系统的运行，使得集成电路的硬件安全问题变得异常严峻。硬件安全芯片是集成电路科学与工程和网络空间安全两大一级学科的新兴交叉研究方向，本报告以安全芯片面临的安全性、可靠性和性能瓶颈为主线，从电路与架构两个层次、IC for Security 和Security for IC两个角度，分享在安全芯片原语和EDA工具、密码算法硬件加速以及处理器芯片架构安全方向的最新研究成果。

嘉宾简介：

张吉良，CCF杰出会员，南京邮电大学集成电路学院院长、教授/博导，中国计算机学会容错计算专业委员会主任、中国计算机学会理事。国家自然科学基金优秀青年基金获得者，湖南省杰出青年基金获得者、湖南省科技创新领军人才。主持国家自然科学基金联合基金重点项目、基础加强计划基金重点等项目。主要从事硬件安全芯片方向研究，第一作者或通信作者发表芯片设计自动化领域顶级会议DAC和IEEE/ACM会刊50余篇。担任IEEE TCASI和IEEE TCASII期刊Associate Editor，电子与信息学报、Fundamental Research、集成电路与嵌入式等期刊编委，IEEE ITC-Asia2024、CCF Chips2024、IEEE ATS2023、CCF CFTC2023等大会程序主席/执行主席。获CCF杰出演讲者、CCF集成电路Early Carrer Award、湖南省自然科学二等奖（第一）、中国发明创业奖、中国产学研创新合作奖。连续5年入选斯坦福大学发布的“全球前2%顶尖科学家”榜单，计算机硬件与体系结构学科排名稳居中国学者前三。

报告题目：卫星互联网硬件原生安全

报告摘要：本报告首先介绍了卫星互联网各层级，明确了硬件在卫星互联网中重要的基础支撑作用；随后聚焦于卫星互联网硬件原生安全的概念、内涵以及关键技术进行了阐述；然后，本报告对比分析了硬件卫星互联网原生安全与内生安全的异同点；最后，本报告将对卫星互联网硬件原生安全和内生安全的协同体系设计进行总结与展望。

嘉宾简介：

王坚，CCF专业会员，电子科技大学教授，博士生导师，入选国家级重要人才计划（2024）、青年拔尖人才（2023）、四川省首届“顶青”人才专项和“天府科技菁英”。主要研究方向为嵌入式芯片安全技术，受聘为某电子元器件组专家、173重点项目首席科学家，担任四川省硬件安全与可信技术中心主任，主持了国家级科技项目13项，发表高水平论文50余篇，授权国家专利40余项，先后获得军队科技进步二等奖、四川省科技进步三等奖，四川省教学成果二等奖。

报告题目：集成电路设计安全验证

报告摘要：形式化验证已经成为一种主流的集成电路设计验证技术，在高隐蔽性设计脆弱性搜索挖掘方面具有显著优势。本报告将对常用的形式化验证技术及工具进行介绍，重点讨论如何为功能性电路模型附加安全维度和属性以实现安全性与可靠性的测试验证，探讨团队在电路设计安全属性自动提取与形式化验证方面的研究进展，主要包括如何自动提取与翻转率、覆盖率、信息流、故障效应相关的属性断言，并通过断言验证来实现恶意逻辑和风险路径的检测，以及故障攻击的形式化分析。

嘉宾简介：

胡伟，CCF高级会员，西北工业大学长聘教授，博导，入选国家级青年人才，研究方向包括集成电路硬件安全、形式化安全验证、密码侧信道分析等。在IEEE TIFS、IEEE TCAD 、ACM CSUR、ACM TODAES等知名期刊，DAC、ICCAD、DATE、HOST等代表性会议上发表论文70余篇，论文入选2023 Top Picks in Hardware and Embedded Security，获2020 AsianHOST最佳论文候选。主编网络空间安全专业规划教材和专著3部。主持国家重点研发计划课题2项、国家自然科学基金重点和面上项目、某部委纵向项目等10余项，授权发明专利11项。任IEEE TCAD和Elections客座副主编、硬件安全知名会议HOST和AsianHOST组委会委员、AsianHOST 2023共同主席、AsianHOST 2023共同程序主席、ATS 2023共同程序主席、CCF高级会员等职，在国际会议和专委会学术会议上作大会邀请和分组报告10余次。研究成果获2019国家保密局保密科学技术奖、2020中共中央办公厅党政机要密码科学技术奖和2023 GF技术发明奖。

报告题目：《电子与信息学报》服务模式介绍

报告摘要：《电子与信息学报》是由中国科学院空天信息创新研究院主办的电子信息领域综合学术期刊，创刊于1979年。2024年入选“中国科技期刊卓越行动计划中文领军期刊”。2025年入选CCF计算领域高质量科技期刊分级目录（2025）T1类。目前学报被ESCI、EI等主流国际数据库收录，在中文各大核心数据库的学科引证排名名列前茅。多次荣获“百种杰出学术期刊”、“中国精品科技期刊”、“中国国际影响力优秀学术期刊”等行业内重要奖项。报告旨在介绍《电子与信息学报》办刊历程与多维度的学术服务模式，希望能更好地服务国家战略需求和学术共同体，发挥桥梁与纽带作用，为高校和研究所的广大师生提供相应的投稿和学术交流服务。

报告人简介:

陈倩，博士，中国科学院空天信息创新研究院副研究员，入选“中国科学院期刊出版领域引进优秀人才”，现任《电子与信息学报》编辑部主任。本科毕业于武汉大学电子与信息学院通信工程系，硕博毕业于中国科学院电子学研究所航天微波遥感系统部，研究方向为星载SAR系统设计与信号处理。2013年至今一直从事科技期刊工作，曾主持国家级科技期刊领军项目一项、国家自然科学基金科技活动专项三项、中科院部委出版基金两项。同时担任中国电子学会电路与系统分会委员兼秘书长、中国科学技术期刊编辑学会委员、和中国通信学会期刊与出版工作委员会委员。

CCF微信公众号，欢迎关注