■ 论文：《Automatic kernel code synthesis and verification》Computers and Security (2020) 91全球计算机安全期刊 SCI检索 影响因子3.0，研究内容：OS内核自动形式化证明，RISCV平台实践。
■ 专利：软件验证方法、装置、计算机设备和存储介质【201910480992.5】
