主持以下科研项目

• 国家自然科学基金项目：无人机飞行控制软件安全增强关键技术研究．2023/01 - 2026/12
• 国家自然科学基金项目：自主无人系统高完整性理论及关键技术研究．2019/01 - 2022/12
• 国家自然科学基金项目：嵌入式软件可组合信息流安全验证机制研究．2014/01 - 2016/12
• 国家863计划课题子课题：智能终端应用的漏洞检测与挖掘技术研究．2015/01 - 2017/12
• 陕西省重点研发计划项目（一般项目-工业领域）：无人机飞行控制系统注入攻击和边信道攻击检测机制研究. 2023/01-2024/12
• 陕西省重点研发计划项目（一般项目-工业领域）：基于图神经网络的智能终端应用安全检测. 2020/01 - 2021/12
• 陕西省自然科学基础研究计划项目：嵌入式软件可组合信息流安全验证理论与方法研究． 2013/01 - 2014/12
• 陕西省自然科学基础研究计划项目：智能终端操作系统信息流安全证明方法研究．2016/01 - 2017/12
• 中央高校基本科研业务费项目：2012/01 - 2013/12，2014/01 - 2015/12