083500-软件工程
081202-计算机软件与理论

操作系统
计算机软件与理论/软件工程
计算机软件与理论/可信计算与基础软件

2003-09--2011-07   中国科学院计算技术研究所   博士
1999-09--2003-07   北京大学数学科学学院   学士

   

2014-01~现在, 中国科学院软件研究所, 高级工程师
2011-07~2014-01,中国科学院软件研究所, 助理研究员

   

（1） Hardware-Based Adversary-Controlled States Tracking, ieee international conference computer and communications, 2018, 第 2 作者
（2） PMU-extended Hardware ROP Attack Detection, IEEE International Conference on Anti-counterfeiting, Security, and Identification, 2018, 第 3 作者
（3） 一种基于微内核操作系统进程间通信恢复方法, 计算机应用与软件, 2015, 第 5 作者

   

（ 1 ） 基于动态描述逻辑的异构数据库数据整合技术研究, 主持, 国家级, 2014-01--2016-12
（ 2 ） 安全可靠桌面计算机操作系统-子课题3：面向终端协同的桌面OS支持与融合技术研发, 主持, 国家级, 2014-01--2019-12
（ 3 ） 关键软硬件系统安全性分析评估核心技术研发及验证, 参与, 部委级, 2018-07--2019-06
（ 4 ） Windows应用兼容与微结构性能增强关键技术, 参与, 部委级, 2020-01--2021-12

已指导学生

王健  硕士研究生  081202-计算机软件与理论  

现指导学生

安丰文  硕士研究生  085212-软件工程  

马国舜  硕士研究生  083500-软件工程  

罗威  硕士研究生  081200-计算机科学与技术