软件研究所 贺也平 男 博导
作者：科大科院考研网 发表时间：2019-12-03 来源：研招办
科院考研推荐链接：
研究领域
招生信息
招生专业
081202-计算机软件与理论
081220-信息安全
081220-信息安全
招生方向
系统安全
可信计算及隐私保护
可信计算及隐私保护
教育背景
1996-08--1999-08 南京航空航天大学 工学博士
1982-08--1985-07 兰州大学 理学硕士
1978-02--1982-02 兰州大学 理学学士
1982-08--1985-07 兰州大学 理学硕士
1978-02--1982-02 兰州大学 理学学士
学历
-- 研究生
学位
-- 博士
工作经历
工作简历
2001-07--今 中国科学院软件研究所 副研究员、研究员
1999-10--2001-07 中国科学院软件研究所 博士后
1985-07--1996-07 兰州大学 助教、讲师、副教授
1999-10--2001-07 中国科学院软件研究所 博士后
1985-07--1996-07 兰州大学 助教、讲师、副教授
社会兼职
教授课程
可信计算技术、 访问控制技术
专利与奖励
奖励信息
专利成果
（1） 一种栈溢出攻击防御方法，发明，2010，第2作者，专利号：201010209888.1
出版信息
发表论文
（1） Baggy Bounds With Accurate Checking，23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012. 195-200，2012，第2作者
（2） Return-Oriented Programming Attack on the Xen Hypervisor，The 7th International Conference on Availability, Reliability and Security (ARES 2012)，2012，第3作者
（3） Improving Flask Implementation Using Hardware Assisted In-vm Isolation，27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012，2012，第4作者
（4） Prevent Kernel Return-oriented Programming Attacks Using Hardware Virtualization，8th International Conference on Information Security Practice and Experience, ISPEC 2012. : 289-300，2012，第2作者
（5） 一种保护隐私的高效远程验证机制，Efficient Remote Attestation Mechanism with Privacy Protection，软件学报，2011，第2作者
（6） Static Scheduling Of Synchronous Data Flow Onto Multiprocessors For Embedded Dsp Systems，3rd International Conference on Measuring Technology and Mechatronics Automation, ICMTMA 2011，2011，第2作者
（7） Semantic Remote Attestation For Security Policy，2010 International Conference on Information Science and Applications, ICISA 2010.，2010，第2作者
（8） 基于Biba和Clark-Wilson策略的混合强制完整性模型，Hybrid Mandatory Integrity Model Composed of Biba and Clark—Wilson Policy，软件学报，2010，第2作者
（2） Return-Oriented Programming Attack on the Xen Hypervisor，The 7th International Conference on Availability, Reliability and Security (ARES 2012)，2012，第3作者
（3） Improving Flask Implementation Using Hardware Assisted In-vm Isolation，27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012，2012，第4作者
（4） Prevent Kernel Return-oriented Programming Attacks Using Hardware Virtualization，8th International Conference on Information Security Practice and Experience, ISPEC 2012. : 289-300，2012，第2作者
（5） 一种保护隐私的高效远程验证机制，Efficient Remote Attestation Mechanism with Privacy Protection，软件学报，2011，第2作者
（6） Static Scheduling Of Synchronous Data Flow Onto Multiprocessors For Embedded Dsp Systems，3rd International Conference on Measuring Technology and Mechatronics Automation, ICMTMA 2011，2011，第2作者
（7） Semantic Remote Attestation For Security Policy，2010 International Conference on Information Science and Applications, ICISA 2010.，2010，第2作者
（8） 基于Biba和Clark-Wilson策略的混合强制完整性模型，Hybrid Mandatory Integrity Model Composed of Biba and Clark—Wilson Policy，软件学报，2010，第2作者
发表著作
科研活动
科研项目
（1） 数据操作系统的检验验证与应用部署，主持，部委级，2012-01--2015-12
（2） 红旗桌面操作系统可信增强技术研发，主持，国家级，2009-01--2011-12
（3） 高等级安全操作系统测试方法和技术，主持，部委级，2008-07--2011-03
（2） 红旗桌面操作系统可信增强技术研发，主持，国家级，2009-01--2011-12
（3） 高等级安全操作系统测试方法和技术，主持，部委级，2008-07--2011-03
参与会议
合作情况
项目协作单位
指导学生
已指导学生
吴新松 博士研究生 081202-计算机软件与理论
周洲仪 博士研究生 081202-计算机软件与理论
丁兴邦 硕士研究生 081203-计算机应用技术
张涛 硕士研究生 081203-计算机应用技术
钱晓俊 硕士研究生 081203-计算机应用技术
王富良 硕士研究生 081203-计算机应用技术
吴毓毅 硕士研究生 081203-计算机应用技术
陈坤 硕士研究生 081203-计算机应用技术
臧锐 硕士研究生 081203-计算机应用技术
邓灵莉 博士研究生 081203-计算机应用技术
孟策 博士研究生 081203-计算机应用技术
徐梓耀 博士研究生 081203-计算机应用技术
李尚杰 博士研究生 081203-计算机应用技术
招立军 硕士研究生 081203-计算机应用技术
张谦 博士研究生 081202-计算机软件与理论
刘国鑫 硕士研究生 081202-计算机软件与理论
武炳正 硕士研究生 081202-计算机软件与理论
赵帅 硕士研究生 081202-计算机软件与理论
郑婷婷 硕士研究生 081202-计算机软件与理论
韩伟 博士研究生 081202-计算机软件与理论
田硕 博士研究生 081202-计算机软件与理论
邓程 硕士研究生 081202-计算机软件与理论
蔡志强 硕士研究生 081202-计算机软件与理论
刘汇丹 博士研究生 081202-计算机软件与理论
王勇 硕士研究生 430113-软件工程
任桂超 硕士研究生 081202-计算机软件与理论
