[1]国家自然科学基金青年基金，面向服务组合的信息流安全验证及评估技术研究，61502368，项目编号：61502368，22万，2016.01-2018.12，在研，主持。

[2]国家自然科学基金促进海峡两岸科技合作联合基金，面向异构物联网的安全融合理论及关键技术研究，项目编号：U1405255，245 万，2015.01-2018.12，在研，参加，负责服务融合安全。

[3]国家自然科学基金青年基金，嵌入式软件可组合信息流安全验证机制研究，项目编号：61303033，23万，2014.01-2016.12，结题，参加，负责信息流安全模型分析。