基本信息
武成岗  男  博导  中国科学院计算技术研究所
电子邮件: wucg@ict.ac.cn
通信地址: 北京市科学院南路6号中科院计算所系统结构重点实验室
邮政编码: 100190

研究领域

从事基于编译技术的系统安全的研究,旨在通过编译技术手段,增强软件的安全性、可靠性、和高效性。课题组在程序缺陷定位、二进制代码的分析变换及优化、运行时程序行为监测、软件安全防疫等方面,有着较深的技术积累。正在探索内建安全技术,即在软件的设计和开发过程中,通过编译器、运行时环境相结合,加以软件缺陷滤除等机制,来提升软件的抗攻击能力。

招生信息

导师武成岗长期从事计算机系统安全、程序分析和虚拟化技术的研究,旨在系统化方案提升计算机的安全性和可靠性。在漏洞挖掘、漏洞利用、二进制代码的分析变换、安全防御等方面有着较深的技术积累。发表论文30余篇,部分发表在USENIX SecurityTSEICSEASETPDSTACOSIGMETRICSASEPACTCGOVEEDATE等学术期刊和会议上,获得授权专利16项,软件著作权5项,并于2012年荣获北京市科学技术二等奖。担任国际学术会议CGO 2013大会主席、CGO的督导委员会(Steering Committee)委员,APPT 2013程序委员会主席、另外还担任PPoPP2017CGO2015CGO2016CGO2017PLDI2012CCGrid 2015ICPADS 2014PPPJ2014等会议的程序委员会委员。主持1项国家自然基金重点项目、 1863项目和1项国家自然科学基金项目,作为分课题负责人参与1国家重大专项、3项国家自然科学基金重点项目。

注重培养研究生的系统开发、技术视野和学术创新能力,所毕业的学生深受用人单位的青睐。自从2003年团队成立以来,先后毕业了33名研究生,分别就业于中国科学院、百度、阿里巴巴、腾讯、华为、网易、搜狗、曙光、中信银行、intel、IBM、Microsoft、Google、Synopsys、英伟达、Freewhell等知名研究机构和企业,其中3/4以上已成为所在单位的骨干。

本团队希望招收对计算机系统安全感兴趣,有梦想、有抱负的同学来攻读研究生。


招生专业
081220-信息安全
081201-计算机系统结构
招生方向
计算机系统安全
智能安全技术
虚拟化

教育背景

2006-11--2007-08   University of Minnesota   访问学者
1998-09--2001-07   中国科学院计算技术研究所   博士
1991-09--1996-01   解放军信息工程学院   硕士
1987-08--1991-07   解放军信息工程学院   学士
学历
-- 研究生
学位
-- 博士

工作经历

1991年7月-1998年8月 解放军信息工程大学 

2001年7月-今              中国科学院计算技术研究所

工作简历
   
社会兼职
2016-04-01-2017-04-01,CGO 2017 Program Committee, PC member
2016-04-01-2017-04-01,PPoPP 2017 Program Committee, PC member
2015-12-31-2020-12-30,计算机学会体系结构专委会, 副主任
2015-08-01-2016-08-31,ACA 2016 Oganization Committee, Chair
2015-04-01-2016-04-01,CGO 2016 Program Committee, PC member
2014-04-01-2015-04-01,CGO 2015 Program Committee, PC member
2012-08-01-2013-08-31,APPT 2013 Program Committee, Chair
2012-03-22-2014-03-22,计算机学会专委工作委员会, 委员
2011-04-01-2013-06-01,CGO 2013学术会议, 大会主席

教授课程

程序设计语言
程序语言设计

专利与奖励

   
奖励信息
(1) 北京市科学技术奖, 二等奖, 省级, 2012
专利成果
( 1 ) 一种遗产代码向现代语言变换过程中的控制流变换方法, 发明, 2007, 专利号: 200410030988.2
( 2 ) 二进制翻译中标志位的优化处理方法 , 发明, 2007, 专利号: 200310102443.3
( 3 ) 动静结合二进制翻译中静态信息不完备的处理方法及装置 , 发明, 2008, 专利号: 200410009287.0
( 4 ) 一种动态二进制翻译中的翻译方法 , 发明, 2007, 专利号: 200410069182.4
( 5 ) 二进制翻译中对X86中浮点运算的处理方法 , 发明, 2007, 专利号: 200410074532.6
( 6 )  二进制翻译中的库函数调用处理方法 , 发明, 2008, 专利号: 200410081020.2
( 7 ) 二进制翻译中标志位的优化处理方法 , 发明, 2007, 专利号: 200310102443.3
( 8 ) 一种抵御代码重用攻击的方法, 发明, 2015, 第 2 作者, 专利号: CN201510501698.X
( 9 ) 函数调用路径编解码方法、装置及系统, 发明, 2014, 第 2 作者, 专利号: CN201410310847.X
( 10 ) 共享库的二进制翻译执行方法和装置, 发明, 2014, 第 2 作者, 专利号: CN201410306773.2
( 11 ) 一种内存虚拟化的方法及装置, 发明, 2013, 第 2 作者, 专利号: CN201310752024.8
( 12 ) 一种基于阶段分析的缓冲动态划分方法和系统, 发明, 2010, 第 2 作者, 专利号: CN201010212895.7

科研活动

   
科研项目
( 1 ) 面向多核/众核处理器的并行程序调试技术与工具(计算所分课题), 主持, 国家级, 2012-01--2016-01
( 2 ) 数据并行与线程并行合一的可伸缩处理器体系结构, 参与, 国家级, 2014-01--2018-12
( 3 ) 模拟器性能优化, 主持, 研究所(学校), 2013-02--2015-02
( 4 ) PRAC, 主持, 国家级, 2015-01--2015-12
( 5 ) 基于代码编译技术的A系统, 主持, 研究所(学校), 2015-01--2015-12
( 6 ) 代码布局持续随机化关键技术研究, 主持, 省级, 2016-01--2017-12
参与会议
(1) 代码生成与优化,2009-03
(2) IEEE计算机网络与移动计算会议,2001-10

合作情况

   
项目协作单位
   

指导学生

已指导学生

苏灵燕  02  19260  

张盈  02  19260  

刘泽善  02  19260  

曾上游  02  19260  

刘家宁  02  53120  

龚军  02  19260  

闫兵  02  53120  

郭辉  02  19581  

黎进  02  19260  

韩冬妮  01  19260  

杨东艳  02  19260  

李斌  02  63236  

何文婷  01  19260  

康炎丽  02  63236  

刘学宝  02  19260  

现指导学生

卢兴敬  01  19260  

李晶  01  19260  

杨皓  02  63236  

吕萧  02  19260  

王喆  01  19260  

宋育庚  01  19260  

孙力立  01  19260  

乔扬  02  19260  

谢梦瑶  01  19260  

张晓峰  02  63236  

许佳丽   02  19260  

贾力陈   01  19260  

出版信息

   
发表论文
(1) SafeHidden: An Efficient and Secure Information Hiding Technique Using Re-randomization, 28th USENIX Security Symposium, 2019, 通讯作者
(2) Using Local Clocks to Reproduce Concurrency Bugs, IEEE Transactions on Software Engineering, 2017, 通讯作者
(3) RERANZ:一个抵御内存泄露攻击的轻量级虚拟机, RERANZ: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks, Virtual Execution Environments, 2017, 通讯作者
(4) pbSE: Phase-based Symbolic, The IEEE/IFIP International Conference on Dependable Systems and Networks, 2017, 通讯作者
(5)  Reproducing Concurrency Bugs Using Local Clocks, ACM/IEEE 37th International Conference on Software Engineering (ICSE 2015)., 2015, 通讯作者
(6) Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines,  the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environment (VEE 2015), 2015, 通讯作者
(7) FPS: A Fair-progress Process Scheduling Policy on Shared-Memory Multiprocessors ,  IEEE Transactions on Parallel and Distributed Systems(TPDS), 2015, 第 1 作者
(8) Dynamic and Adaptive Calling Context Encoding,  International Symposium on Code Generation and Optimization(CGO), 2014, 通讯作者
(9) EATBit Effective Automated Test for Binary Translation with High Code Coverage, Design Automation and Test in Europe (DATE), 2014, 通讯作者
(10) Synchronization Identification through On-the-fly Test, Euro-Par 2013, 2013, 通讯作者
(11) Providing Fairness on Shared-Memory Multiprocessors via Process Scheduling, SIGMETRICS/Performance 2012, 2012, 通讯作者
(12) On-the-fly Structure Splitting for Heap Objects,  ACM Transactions on Architecture and Code Optimization, 2012, 通讯作者
(13) Efficient and Effective Misaligned Data Access Handling in a Dynamic Binary Translation System., ACM Transactions on Architecture and Code Optimization (TACO) , 2011, 第 2 作者
(14) Dynamic Register Promotion of Stack Variables, IEEE/ACM International Symposium on Code Generation and Optimization (CGO)., 2011, 通讯作者
(15) On Mitigating Memory Bandwidth Contention through Bandwidth-Aware Scheduling, ACM International Conference on Parallel Architectures and Compilation Techniques (PACT ), 2010, 通讯作者
(16) On Improving Heap Memory Layout by Dynamic Pool Allocation, IEEE Code Generation and Optimization (CGO 2010), 2010, 通讯作者
(17) Evaluating Misaligned Data Access Handling Mechanisms in Dynamic Binary Translation Systems., IEEE Code Generation and Optimization (CGO), 2009, 第 2 作者
(18) Configurable Mobile Agent and Its Fault-tolerance Mechanism, International Conference on Computer Networks and Mobile Computing (ICCNMC), 2001, 第 2 作者
发表著作