基本信息
武延军 男 博导 软件研究所
电子邮件：yanjun@nfs.iscas.ac.cn
通信地址：北京中关村南四街4号
邮政编码：100190


研究领域
招生信息

招生专业 计算机软件与理论



招生方向 操作系统, 系统安全
系统安全
云计算
教育背景 2001-09--2006-07 中国科学院软件研究所 博士
1997-09--2001-07 清华大学计算机系 工学学士

工作经历

工作简历 2012-07--今 中国科学院软件研究所 正高级工程师/博士生导师
2008-10--2012-07 基础软件国家工程研究中心 副研究员
2007-04--2008-05 美国纽约州立大学石溪分校 博士后


社会兼职 2013-01--今 中关村青年联合会，委员
2012-04--今 中科院青年创新促进会，信息与管理方向召集人

专利与奖励

奖励信息 （1） 海淀区青年英才计划，市地级，2013
（2） 中科院软件所杰出青年人才计划，研究所（学校）级，2011
（3） 北京市科技新星，省级，2010


专利成果 （1） 一种基于虚拟机的移动介质网银安全认证方法，发明，2011，第2作者，专利号：**3.8

出版信息

发表论文 （1） 一个分布式图处理引擎，Frog: A Distributed Graph Processing Engine，SOSP2013，2013，第3作者
（2） A Novel Security Scheme for Online Banking Based on Virtual Machine，International Conference on Software Security and Reliability (SERE), 2012，2012，第2作者
（3） Improving Flask Implementation Using Hardware Assisted In-VM Isolation，The 27th IFIP International Information Security and Privacy，2012，第2作者
（4） 虚拟机确定性执行重放的模型分析和实现方法，软件学报，2012，第2作者
（5） Return-Oriented Programming Attack on the Xen Hypervisor，The 7th International Conference on Availability, Reliability and Security，2012，第2作者
（6） InDriver：虚拟机内部隔离的驱动实现方式，InDriver: Using In-VM Isolation to Implement Drivers，Xen Summit 2011，2011，第2作者
（7） 云计算环境下的虚拟机快速克隆技术，Fast Virtual Machine Cloning under Cloud，计算机工程与应用，2011，第2作者
（8） 基于虚拟机的新型网银安全方案，A New Security Scheme for Online Banking Based on Virtual Machine，APSys2011，2011，第2作者
（9） 使用虚拟机的多线程重放，Multithread Replay Using Virtual Machine，APSys2011，2011，第2作者

科研活动

科研项目 （1） 面向海云协同网络计算环境的数据操作系统，参与，院级级，2012-01--2016-12
（2） 开源操作系统内核分析和安全性评估，参与，国家级，2012-01--2014-12
（3） 云计算操作系统的研究与开发，主持，院级级，2010-06--2013-05

指导学生已指导学生

谢沛东 硕士研究生 081202-计算机软件与理论

蒋媛园 硕士研究生 081202-计算机软件与理论

侯朋朋 硕士研究生 081202-计算机软件与理论

唐海东 硕士研究生 081202-计算机软件与理论

现指导学生

高需 博士研究生 081202-计算机软件与理论

陈贤 硕士研究生 083500-软件工程

房锦章 硕士研究生 081202-计算机软件与理论

赵姗 博士研究生 081202-计算机软件与理论

杨骁 硕士研究生 081202-计算机软件与理论

张珩 博士研究生 081202-计算机软件与理论

王枫 博士研究生 081202-计算机软件与理论

张鸿骏 博士研究生 081202-计算机软件与理论