张倩颖 博士
副教授，硕士生导师
永利官网，yl9193永利
地址：北京市海淀区西三环北路56号219办公室
邮编：100048
Email：qyzhang@cnu.edu.cn
基本信息
张倩颖，博士，副教授，硕士生导师，2015年博士毕业于中国科学院软件研究所，同年加入yl9193永利。研究领域为操作系统安全与形式化验证。研究成果包括在CCS、RAID、Comput. Netw.等国际顶级学术会议和期刊发表论文40余篇，主持国家自然科学基金、国家重点研发计划子课题等多个国家级和省部级项目，获得北京市科学技术二等奖1项，参与制定我国密码行业标准3项，授权国际发明专利1项、国家发明专利13项。现为CCF形式化方法专委会委员，Comput. Netw.、SCN等国际期刊审稿专家。
研究兴趣
信息安全、系统安全、操作系统、形式化验证。
教育经历
2008.09 – 2015.01，中科院软件所，信息安全国家重点实验室，工学博士
2004.09 – 2008.06，华中科技大学，计算机科学与技术学院，工学学士
科研项目
1、[主持]国家自然科学基金面上项目，以契约为层间安全承诺的TEE系统隔离机制分层验证研究，2024/01-2027/12
2、[主持]国家自然科学基金青年项目，基于可信执行环境的机器人实时操作系统架构及形式化验证研究，2017/01-2019/12
3、[主持]国家重点研发计划子课题，机器人操作系统及开发环境研究与应用验证，2018/01-2020/12
4、[主持]北京市教委科技计划一般项目，基于TrustZone技术的嵌入式双操作系统架构研究，2019/01-2021/12
5、[主持]计算机体系结构国家重点实验室开放课题，高安全可信执行环境构建技术研究，2019/11-2021/10
代表性论文
[1] Shijun Zhao, Qianying Zhang*, et al. SecTEE: A Software-based Approach to Secure Enclave Architecture Using TEE. CCS 2019: 1723-1740 (CCF-A)
[2] Qianying Zhang, Shijun Zhao. A comprehensive formal security analysis and revision of the two-phase key exchange primitive of TPM 2.0. Computer Networks, 2020,179: 107369:1-18 (CCF-B、SCI)
[3] Shijun Zhao, Qianying Zhang*, et al. Minimal Kernel: An Operating System Architecture for TEE to Resist Board Level Physical Attacks. RAID 2019: 105-120 (CCF-B)
[4] Dongxu Ji, Qianying Zhang*, Shijun Zhao, Zhiping Shi, Yong Guan. MicroTEE: Designing TEE OS Based on the Microkernel Architecture. TrustCom 2019: 26-33 (CCF-C, Best Trust Track Paper Award)
[5] Linhan Li, Qianying Zhang*, Zekun Xu, Shijun Zhao, Zhiping Shi, Yong Guan. rOOM: A Rust-based Linux Out of Memory Kernel Component. IEICE Transactions on Information and Systems, 2024, 107(3): 245-256 (SCI)
[6] Leping Zhang, Qianying Zhang*, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan. Formal Verification of Interrupt Isolation for the TrustZone-based TEE. APSEC 2023 (CCF-C)
[7] Linhan Li, Qianying Zhang*, Shijun Zhao, Zhiping Shi, Yong Guan. Design and Implementation of OOM Module based on Rust. QRS-C 2022: 774-775
[8] Yuwei Ma, Qianying Zhang*, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi. Formal Verification of Memory Isolation for the TrustZone-based TEE. APSEC 2020: 149-158 (CCF-C)
[9] Leping Zhang, Qianying Zhang*, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan. Formal Modelling and Verification of Spinlocks at Instruction Level. APSEC 2019: 355-362 (CCF-C)
[10] Meiyu Zhang, Qianying Zhang*, Shijun Zhao, Zhiping Shi, Yong Guan. SoftME: A Software-Based Memory Protection Approach for TEE System to Resist Physical Attacks. Security and Communication Networks, 2019: 8690853:1-12 (CCF-C、SCI)
[11] 杨帆, 张倩颖*, 施智平, 关永. 可信执行环境软件侧信道攻击研究综述. 软件学报, 2023,34(1): 381-403
[12] 靳翠珍, 张倩颖*, 马雨薇, 李希萌, 王国辉, 施智平, 关永. 基于精化的可信执行环境内存隔离机制验证. 软件学报, 2022,33(6): 2189-2207
[13] 张倩颖, 赵世军. 抗电路板级物理攻击的操作系统防御技术研究. 软件学报, 2020,31(10): 3120-3146
行业标准
1、国家密码行业标准, 《可信计算 可信密码模块符合性测试规范》, GM/T 0013-2021
2、国家密码行业标准, 《可信密码模块保护轮廓》, GM/T 0082-2020
3、国家密码行业标准, 《可信计算平台直接匿名证明规范》, GM/T 0079-2020
主讲课程
本科生课程：操作系统、操作系统实验、编译原理；
研究生课程：软件测试与验证、可信软件理论与技术、形式化验证。
获奖情况
2017年，北京市科学技术二等奖，机器人多核异构实时嵌入式操作系统研发、验证及应用；
2019年，TrustCom 2019 Best Trust Track Paper Award，MicroTEE: Designing TEE OS Based on the Microkernel Architecture；
2019年，北京市高等教育学会计算机教学精彩片段交流一等奖。
公司产品
公司产品方向：信息安全/系统安全/安全操作系统构建/操作系统安全性验证
欢迎对上述方向感兴趣的同学攻读研究生，也欢迎高年级本科生加入。