在研项目
基于信息物理融合的电网数据完整性攻击检测方法
国家自然科学基金面上项目 (61772408). 2018.1-2021.12. PI
智能电网信息安全纵深防护方法与关键技术
装备预研教育部联合基金. 2018.1-2019.12. PI
智能电网信息-物理融合系统建模与攻击检测方法研究
霍英东青年教师基金. 2016-2019. PI
Automated Test Case Generation from User Review for Mobile Applications
MSRA Collaborative Research Grant. 2019. PI
基于符号执行的复杂软件系统分析与验证
国家自然科学基金重点项目(61632015) 2017-2021. Co-PI
内生安全的主动防御工控系统防护技术研究.
国家重点研发计划项目. 2017-2019.
能源互联网的规划、运行与交易基础理论
国家重点研发计划项目. 2017-2019.
结题项目
- 国家自然科学基金面上项目. 多线程程序约束构建、优化求解及其智能测试方法研究. (61472318). 2015.1-2018.12
- 国家自然科学基金重点项目. 多维在线跨语言Calling Network建模及其在可信国家电子税务软件中的实证应用. (91418205). 2015.1-2016.12
- 国家自然科学基金集成项目. 可信网络交易软件系统试验环境与示范应用(91218301). 2013.1-2016.12
- 国家自然科学基金重点项目. 面向国家电子税务系统的可信软件试验环境与示范应用(91118005). 2012.1-2015.12
- 国家自然科学基金. 基于物理-信息关联分析的智能电网安全检测方法. (61203174).
- 2011年度高等学校博士学科点专项科研基金. 智能电网中信息-电力网络攻击的检测方法研究. (20110201120010)
- 西安交通大学科研项目（综合交叉类）. 智能电网中的节能优化与攻击检测方法研究. 2011.9-2013.8
- 西安交通大学重点实验室青年学术骨干培植项目. 基于软件缺陷和行为的软件可信性评测方法研究. 2011.5-2012.4
- 国家自然科学基金培育项目. 可信电子税务网络发票系统试验环境及其实证研究(91018011). 2011.1-2011.12
- Cisco URP（大学科研合作项目）. Abnormal Data Detection and Control Actuation Authentication for Smart Grid. 2011-2012