承担项目情况
- 国家自然科学基金青年项目，61602359，面向多重协议组合实现的形式化安全检测理论和方法研究，2017/01-2019/12，在研，主持
- 国家重点研发计划网络空间安全重点专项子课题，2016YFB0800705，安全度量理论与关键技术的典型应用，2016/07-2019/06，在研，子任务负责人
- 中国博士后科学基金面上，2015M582618，面向PaaS类云系统的形式化安全分析方法的研究，2016/01-2017/12，在研，主持
- IBM访问学者计划，Formal method research on security verification over cloud infrastructure, 2016/01-2016/05，完成，主持
- 高等院校基本科研业务费项目，基于属性和角色的云存储访问控制机制及其在混合云系统上的实现，2015.1-2016.12，在研，主持
- 西安电子科技大学科研启动经费项目，通信协议及其实现的安全检测理论与实践研究，2014.12-2016.12，6万元，完成，主持
- 高等院校基本科研业务费项目，5G网络跨域安全协议的安全性分析理论与实践研究，JB81503，2018.1-2019.12，在研，主持