杨帆(1998-), 男, 硕士生, 主要研究领域为嵌入式操作系统安全, 侧信道攻击.;张倩颖(1986-), 女, 博士, 副教授, CCF专业会员, 主要研究领域为操作系统安全, 形式化验证.;施智平(1974-), 男, 博士, 教授, 博士生导师, CCF高级会员, 主要研究领域为形式化验证, 视觉信息处理.;关永(1966-), 男, 博士, 教授, 博士生导师, CCF专业会员, 主要研究领域为高可靠嵌入式系统, 形式化验证.
张倩颖,E-mail:qyzhang@cnu.edu.cn
国家自然科学基金(61802375, 61602325, 61876111, 61877040); 北京市教委科技计划一般项目(KM201910028005); 中国科学院计算技术研究所计算机体系结构国家重点实验室开放课题(CARCH201920); 交叉科学研究院项目(19530012005)
杨帆,张倩颖,施智平,关永.可信执行环境软件侧信道攻击研究综述.软件学报,2023,34(1):381-403
复制