可信执行环境（TEE）与系统运行时安全组研究构建指令级上下文模型对SGX运行时执行行为进行联合验证，并结合远程认证保障验证数据安全（SecSGX，ICIC 2026）；实现生命周期感知的双向数据保护，在10个真实SGX应用上检测出数十个接口漏洞（GATEGuard，Frontiers of Computer Science 2026）；提出基于SGX的在线投票协议，保障投票者隐私最大化（Journal of Systems Architecture 2024）。
学习、批判、守正、创新
可信执行环境（TEE）与系统运行时安全组研究构建指令级上下文模型对SGX运行时执行行为进行联合验证，并结合远程认证保障验证数据安全（SecSGX，ICIC 2026）；实现生命周期感知的双向数据保护，在10个真实SGX应用上检测出数十个接口漏洞（GATEGuard，Frontiers of Computer Science 2026）；提出基于SGX的在线投票协议，保障投票者隐私最大化（Journal of Systems Architecture 2024）。