[1]国家自然科学基金(62062028),多行为软件语义形态过程及缺陷检测机制,2021.01-2024.12
[2]国家自然科学基金(61462020),多域网络安全的异构策略语义形态与验证机制,2015.01-2018.12
[3]广西自然科学基金(2018GXNSFAA294058),污点跟踪的软件脆弱性检测分析机制与主动预警,2019.01-2021.12
[4]广西自然科学基金(2014GXNSFAA118375),形态转换的网络安全异构策略语义推演研究,2014.06-2017.05
[5]横向项目,专用文件监控网关设备样机研制,2019.10-2020.10
[6]横向项目,区块链结点专用设备样机研制,2019.5-2020.5