研究领域

信息安全、系统安全、操作系统、形式化验证。

主讲课程

本科生课程：操作系统、操作系统实验、编译原理、计算机应用、计算机实践1；

研究生课程：可信软件理论与技术、形式化验证。

科研项目

1、[主持]国家自然科学基金面上项目，以契约为层间安全承诺的TEE系统隔离机制分层验证研究，2024/01-2027/12

2、[主持]国家重点研发计划子课题，机器人操作系统及开发环境研究与应用验证，2018/01-2020/12

3、[主持]国家自然科学基金青年项目，基于可信执行环境的机器人实时操作系统架构及形式化验证研究，2017/01-2019/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] 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)

[6] 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)

[7] 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)

[8] 杨帆, 张倩颖*, 施智平, 关永. 可信执行环境软件侧信道攻击研究综述. 软件学报, 2023,34(1): 381-403

[9] 靳翠珍, 张倩颖*, 马雨薇, 李希萌, 王国辉, 施智平, 关永. 基于精化的可信执行环境内存隔离机制验证. 软件学报, 2022,33(6): 2189-2207

[10] 张倩颖, 赵世军. 抗电路板级物理攻击的操作系统防御技术研究. 软件学报, 2020,31(10): 3120-3146

荣誉与奖励

2019年，TrustCom 2019 Best Trust Track Paper Award，MicroTEE: Designing TEE OS Based on the Microkernel Architecture；

2019年，北京市高等教育学会计算机教学精彩片段交流一等奖；

2019年，首都师范大学信息工程学院青年教师基本功竞赛二等奖；

2017年，北京市科学技术二等奖，机器人多核异构实时嵌入式操作系统研发、验证及应用。