主要研究方向是操作系统与系统安全，中科院特聘研究骨干，主持多项操作系统和系统安全相关的国家重点研发计划、中科院先导、国家自然科学基金面上、青年等项目，主持并制定我国可信计算密码行业标准若干项。在国内外期刊及会议上发表论文20余篇，包括CCS、RAID、Computer Networks等信息安全领域重要国际会议和期刊。

谷歌学术网址： https://scholar.google.com/citations?user=yaTMRQkAAAAJ&hl=zh-CN

具体方向：操作系统、系统安全

欢迎对操作系统、系统安全以及安全编程语言有兴趣的同学联系。

2008-09--2015-01   中国科学院大学   博士
2004-09--2008-06   西安交通大学   学士

博士研究生

博士

   

2021-12~现在, 中国科学院信息工程研究所, 副研究员
2020-03~2021-11,华为技术有限公司, 技术专家
2019-10~2020-03,中国科学院软件研究所, 副研究员
2015-06~2019-10,中国科学院软件研究所, 助理研究员

   

（ 1 ） 一种基于物理不可克隆函数的密钥保护方法和安全芯片, 发明专利, 2018, 第 1 作者, 专利号: CN105007285B

（ 2 ） 一种保护终端配置隐私的可信网络接入方法及系统, 发明专利, 2017, 第 1 作者, 专利号: CN103152350B

（ 3 ） 一种基于Merkle树的Linux程序运行时验证与管控方法和系统, 发明专利, 2018, 第 3 作者, 专利号: 201811488026X

（ 4 ） 一种基于日志的嵌入式设备控制流证明方法, 发明专利, 2019, 第 3 作者, 专利号: 2019101196869

   

（1） rOOM: A Rust-Based Linux Out of Memory Kernel Component, IEICE TRANSACTIONS on Information and Systems, 2024, 第 3 作者
（2） Design and Implementation of OOM Module based on Rust, 2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C), 2022, 第 3 作者
（3） Formal verification of memory isolation for the trustzone-based tee, 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 2020, 第 3 作者
（4） A comprehensive formal security analysis and revision of the two-phase key exchange primitive of TPM 2.0, Computer Networks (CCF B), 2020, 第 2 作者  通讯作者
（5） 抗电路板级物理攻击的操作系统防御技术研究, 软件学报, 2020, 第 2 作者  通讯作者
（6） Log-based control flow attestation for embedded devices, Cyberspace Safety and Security: 11th International Symposium, CSS 2019, 2019, 第 4 作者
（7） SoftME: A Software-Based Memory Protection Approach for TEE System to Resist Physical Attacks, Security and Communication Networks, 2019, 第 3 作者
（8） SecTEE: A Software-based Approach to Secure Enclave Architecture Using TEE, Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS, CCF A), 2019, 第 1 作者
（9） Minimal Kernel: An Operating System Architecture for TEE to Resist Board Level Physical Attacksx, Proceedings of the 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID, CCF B), 2019, 第 1 作者
（10） MicroTEE: Designing TEE OS Based on the Microkernel Architecture, TrustCom 2019 (Best paper award), 2019, 第 3 作者
（11） AAoT: Lightweight attestation and authentication of low-resource things in IoT and CPS, Computer Networks, 2018, 第 3 作者
（12） Secure code updates for smart embedded devices based on PUFs, Cryptology and Network Security: 16th International Conference, CANS 2017, 2018, 第 3 作者
（13） Trusttokenf: A generic security framework for mobile two-factor authentication using trustzone, IEEE Trustcom, 2015, 第 2 作者
（14） Security analysis of SM2 key exchange protocol in TPM2. 0, Security and Communication Networks, 2015, 第 1 作者
（15） Improving the security of the hmqv protocol using tamper-proof hardware, International Conference on Security and Privacy in Communication Networks, 2015, 第 1 作者
（16） Mdaak: A flexible and efficient framework for direct anonymous attestation on mobile devices, Information and Communications Security, 2015, 第 2 作者
（17） A Unified Security Analysis of Two-Phase Key Exchange Protocols in TPM 2.0, Proceedings of the 8th International Conference on Trust and Trustworthy Computing, 2015, 第 1 作者
（18） sHMQV: An efficient key exchange protocol for power-limited devices, Information Security Practice and Experience, 2015, 第 1 作者
（19） A unified security analysis of two-phase key exchange protocols in TPM 2.0, TRUST, 2015, 第 1 作者
（20） Formal analysis of TPM2. 0 key management APIs, Chinese science bulletin, 2014, 第 2 作者
（21） Universally composable secure TNC protocol based on IF-T binding to TLS, Network and System Security (NSS), 2014, 第 1 作者

（1） 可信计算：原理与实现, Trusted Computing: Principles and Applications, Walter de Gruyter GmbH & Co KG, 2017-12, 第 4 作者

   

（ 1 ） 安全互联及系统应用, 负责人, 国家任务, 2023-12--2026-11
（ 2 ） 安全体系构建, 负责人, 中国科学院计划, 2023-09--2026-12
（ 3 ） 高安全双内核操作系统架构研究, 负责人, 研究所自主部署, 2023-02--2026-02
（ 4 ） 面向机密虚拟机TEE架构的安全操作系统研究, 负责人, 国家任务, 2023-01--2026-12
（ 5 ） 抗电路板级物理攻击的TEE防护技术研究, 负责人, 国家任务, 2019-01--2021-12