科研工作:

关键信息技术产品和服务网络安全审查关键技术研究

数据库安全协议分析

信息云大数据分析系统
形式建模和分析工具使用规范

可信的网络空间安全保障体系
基于逆向工程的虚拟机漏洞检测技术的研究
国基面上:面向异构云计算中心IaaS服务的性能分析模型
基本科研业务费：RSA公钥密码算法安全性研究
红果园省部级"企事业"：RSA-768数域筛法大数分解多项式选择中的多项式根优化研究与工程实现
红果园：基于云计算的涉密信息系统安全保密测评与检查能力建设
教育部“创新团队”：“数字媒体信息处理”教育部创新团队_子课题3
北京交通大学：典型移动终端多核及虚拟化支持状况分析及可行方案
铁道部科技司：信息系统互联互通及安全、维护技术应用研究——铁路信息安全等级保护体系及关键技术研究
北京市自然基金：收益驱动的多虚拟网络嵌入和虚拟网络资源再分配技术研究
教育部：面向电子病历共享系统的安全与隐私保护技术研究
基本科研业务费：基于可信计算的涉密终端安全防护技术的研究
红果园：保密学院建设
其它部市：北京信息安全服务能力评估
基本科研业务费：可信平台模块应用编程接口的形式化分析和自动验证
红果园：可信计算密码平台
博士点基金：虚拟机系统端拥塞控制的研究
科技部“863”：虚拟个人计算机系统的可信支撑技术研究
科技部“863”：可信计算平台信任链建立关键技术
校科技基金：提升通用操作系统在千兆以太网络环境里的性能