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

研究领域

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

招生信息

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

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

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


招生专业
0812Z1-信息安全
081201-计算机系统结构
081202-计算机软件与理论
招生方向
计算机系统安全
人工智能安全
虚拟化

教育背景

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月-今              中国科学院计算技术研究所

工作简历
2003-12~2021-08,中国科学院计算技术研究所, 副研究员、研究员级高级工程师
1987-08~2003-12,解放军信息工程大学, 讲师
社会兼职
2022-03-01-2023-03-31,CGO 2023 Program Committee, PC member
2020-05-30-2021-05-30,PACT 2020 program committee, 程序委员会委员
2020-01-15-2024-01-15,中国计算机学会理事会, 理事
2020-01-14-2024-01-14,中国计算机学会体系结构专委会, 主任
2018-09-01-2019-09-01,国际会议CC程序委员会委员, 委员
2017-01-01-2017-12-31,PPoPP 2018 程序委员会, 委员
2017-01-01-2017-12-31,CGO 2018程序委员会, 委员
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) 国科大领雁奖(金奖), 特等奖, 研究所(学校), 2021
(2) “中国科学院教育教学成果奖, 二等奖, 院级, 2020
(3) 国家级线下一流本科课程, 特等奖, 国家级, 2020
(4) 北京高校“优质本科课程”, 省级, 2019
(5) 北京市科学技术奖, 二等奖, 省级, 2012
专利成果
[1] 王喆, 武成岗, 谢梦瑶, 张晓峰, 赖远明, 康妍, 曾凯. 一种容器虚拟化安全加固装置及方法. CN: CN110059453A, 2019-07-26.

[2] 王喆, 武成岗, 赖远明, 康妍. 一种应用的保护方法及系统. CN: CN109840411A, 2019-06-04.

[3] 王振江, 武成岗, 张洪娟. 共享库的二进制翻译执行方法和装置. CN: CN105335203A, 2016-02-17.

[4] 王喆, 武成岗, 王振江, 李建军. 一种抵御代码重用攻击的工作进程随机化方法及系统. CN: CN105224864A, 2016-01-06.

[5] 李建军, 武成岗, 王振江. 函数调用路径编解码方法、装置及系统. CN: CN105224305A, 2016-01-06.

[6] 王喆, 武成岗, 王振江, 李建军. 一种抵御代码重用攻击的方法. CN: CN105022956A, 2015-11-04.

[7] 王振江, 武成岗, 李斌, 杨东艳. 一种内存虚拟化的方法及装置. CN: CN104750623A, 2015-07-01.

[8] 贾耀仓, 武成岗, 徐地, 王振江, 李建军, 米伟. 一种基于阶段分析的缓存动态划分方法和系统. CN: CN101894048A, 2010-11-24.

[9] 李建军, 武成岗. 包含栈变量函数的优化方法. CN: CN101847096A, 2010-09-29.

[10] 王振江, 武成岗. 在运行时对堆数据进行池分配的方法. CN: CN101763308A, 2010-06-30.

[11] 武成岗, 王文文. 二进制翻译中间接跳转指令的翻译方法及其系统. CN: CN101706734A, 2010-05-12.

[12] 张 盈, 武成岗. 二进制翻译器中线程共享目标本地码缓存替换方法及系统. CN: CN101482851A, 2009-07-15.

[13] 李建军, 武成岗, 陈 龙. 一种非对齐访存的处理方法. CN: CN101299192A, 2008-11-05.

[14] 陈龙, 武成岗, 崔慧敏. 一种RISC处理器及其浮点栈指令翻译装置及方法. CN: CN101286122A, 2008-10-15.

[15] 崔慧敏, 武成岗, 谢海斌, 张兆庆, 冯晓兵, 唐 锋, 杨 浩. 二进制翻译中局部变量识别和提升的处理方法. CN: CN100377088C, 2008-03-26.

[16] 武成岗, 张兆庆, 冯晓兵, 崔慧敏, 谢海斌, 唐 锋, 杨 浩. 动静结合二进制翻译中静态信息不完备的处理方法及装置. CN: CN100359470C, 2008-01-02.

[17] 武成岗, 张兆庆, 冯晓兵, 石学林, 高琳. 一种遗产代码向现代语言变换过程中的控制流变换方法. CN: CN100337203C, 2007-09-12.

[18] 马湘宁, 冯晓兵, 张兆庆, 武成岗, 唐锋. 二进制翻译中标志位的优化处理方法. CN: CN1296815C, 2007-01-24.

[19] 杨 浩, 唐 锋, 谢海斌, 武成岗, 张兆庆, 冯晓兵, 崔慧敏, 陈 龙. 一种二进制翻译中库函数调用的处理方法. CN: CN1892602A, 2007-01-10.

[20] 唐生林, 吴曾, 武成岗, 崔慧敏, 张兆庆, 苏灵燕, 王振江. COBOL到JAVA代码翻译中面向对象翻译的方法. CN: CN1818861A, 2006-08-16.

[21] 谢海斌, 武成岗, 张兆庆, 冯晓兵, 崔慧敏, 唐 锋, 杨 浩. 二进制翻译中的库函数调用处理方法. CN: CN1755631A, 2006-04-05.

[22] 白童心, 张兆庆, 冯晓兵, 武成岗, 唐锋, 马湘宁, 谢海斌, 杨浩, 崔慧敏. 一种动态二进制翻译中的翻译方法. CN: CN1746849A, 2006-03-15.

[23] 武成岗, 谢海斌, 张兆庆, 冯晓兵, 崔慧敏, 唐锋, 杨浩. 二进制翻译中对X86中浮点运算的处理方法. CN: CN1746850A, 2006-03-15.

科研活动

   

指导学生

已指导学生

苏灵燕  硕士研究生  081201-计算机系统结构  

张盈  硕士研究生  081201-计算机系统结构  

刘泽善  硕士研究生  081201-计算机系统结构  

曾上游  硕士研究生  081201-计算机系统结构  

韩冬妮  博士研究生  081201-计算机系统结构  

闫兵  硕士研究生  081280-软件工程  

刘家宁  硕士研究生  081280-软件工程  

龚军  硕士研究生  081201-计算机系统结构  

黎进  硕士研究生  081201-计算机系统结构  

郭辉  硕士研究生  430112-计算机技术  

杨东艳  硕士研究生  081201-计算机系统结构  

卢兴敬  博士研究生  081201-计算机系统结构  

李斌  硕士研究生  085211-计算机技术  

何文婷  博士研究生  081201-计算机系统结构  

李晶  博士研究生  081201-计算机系统结构  

王喆  博士研究生  081201-计算机系统结构  

孙力立  博士研究生  081201-计算机系统结构  

吕萧  硕士研究生  081201-计算机系统结构  

杨皓  硕士研究生  085211-计算机技术  

刘学宝  硕士研究生  081201-计算机系统结构  

康炎丽  硕士研究生  085211-计算机技术  

乔扬  硕士研究生  081201-计算机系统结构  

谢梦瑶  博士研究生  081201-计算机系统结构  

张晓峰  硕士研究生  085211-计算机技术  

陈瑞新  硕士研究生  081201-计算机系统结构  

曾凯  硕士研究生  081201-计算机系统结构  

陈博言  硕士研究生  081201-计算机系统结构  

胡宇浩  硕士研究生  085211-计算机技术  

现指导学生

贾力陈  博士研究生  081201-计算机系统结构  

唐博文  博士研究生  081201-计算机系统结构  

许佳丽  博士研究生  081201-计算机系统结构  

张培华  博士研究生  081201-计算机系统结构  

赖远明  博士研究生  081201-计算机系统结构  

侯承轩  博士研究生  083900-网络空间安全  

康妍  博士研究生  083900-网络空间安全  

孙越   博士研究生  083900-网络空间安全  

周洋帆  硕士研究生  083900-网络空间安全  

王继铭  博士研究生  083900-网络空间安全  

高亦凡  硕士研究生  083900-网络空间安全  

吴腾  硕士研究生  085400-电子信息  

张诗杨  硕士研究生  081201-计算机系统结构  

出版信息

   
发表论文
(1) SoftTRR: Protect Page Tables against Rowhammer Attacks using Software-only Target Row Refresh., 2022 USENIX Annual Technical Conference.(USENIX ATC '22). (CCF A), 2022, 第 10 作者
(2) CETIS: Retrofitting Intel CET for Generic and Efficient Intra-process Memory Isolation., The 29th ACM Conference on Computer and Communications Security.(CCS 2022) (CCF A), 2022, 第 2 作者
(3) Dancing with Wolves: An Intra-process Isolation Technique with Privileged Hardware., IEEE Transactions on Dependable and Secure Computing (CCF A), 2022, 第 1 作者
(4) SPECBOX: A Label-Based Transparent Speculation Scheme Against Transient Execution Attacks., IEEE Transactions on Dependable and Secure Computing (CCF A), 2022, 第 2 作者
(5) Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths, USENIX Security 2022. (CCF A), 2022, 第 7 作者
(6) Making Information Hiding Effective Again, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING (CCF A), 2021, 通讯作者
(7) SEIMI: Efficient and Secure SMAP-Enabled Intra-process Memory Isolation, 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), 2020, 通讯作者
(8) SafeHidden: An Efficient and Secure Information Hiding Technique Using Re-randomization, PROCEEDINGS OF THE 28TH USENIX SECURITY SYMPOSIUM, 2019, 通讯作者
(9) Using Local Clocks to Reproduce Concurrency Bugs, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (CCF A), 2018, 通讯作者
(10) pbSE: Phase-based Symbolic Execution, 2017 47TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2017, 
(11) RERANZ:A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks, Virtual Execution Environments (CCF B类), 2017, 通讯作者
(12) Memos: A Full Hierarchy Hybrid Memory Management Framework, PROCEEDINGS OF THE 34TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2016, 第 6 作者
(13) 控制流完整性的发展历程, 中国教育网络, 2016, 第 1 作者
(14) 二进制翻译系统中信号处理机制的研究, Research on signal handlingin binary translators, 高技术通讯, 2015, 第 2 作者
(15) Reproducing Concurrency Bugs Using Local Clocks, ACM/IEEE 37th International Conference on Software Engineering (ICSE 2015) (CCF A类)., 2015, 通讯作者
(16) HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines, ACM SIGPLAN NOTICES, 2015, 通讯作者
(17) FPS: A Fair-Progress Process Scheduling Policy on Shared-Memory Multiprocessors, IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS (CCF A), 2015, 通讯作者
(18) EATBit: Effective Automated Test for Binary Translation with High Code Coverage, 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014, 通讯作者
(19) Localization of Concurrency Bugs Using Shared Memory Access, 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) (CCF A类), 2014, 通讯作者
(20) Concurrency Bug Localization using Shared Memory Access Pairs, ACM SIGPLAN NOTICES, 2014, 第 2 作者
(21) 二进制翻译中标志位的模式化翻译方法, A Pattern Translation Method for Flags in Binary Translation, 计算机研究与发展, 2014, 第 2 作者
(22) 动态容忍和检测非对称数据竞争, Dynamically Tolerating and Detecting Asymmetric Races, 计算机研究与发展, 2014, 第 2 作者
(23) Dynamic and Adaptive Calling Context Encoding, International Symposium on Code Generation and Optimization (CGO), 2014, 通讯作者
(24) Synchronization Identification through On-the-Fly Test, EURO-PAR 2013 PARALLEL PROCESSING, 2013, 通讯作者
(25) 指导cache静态划分的程序性能profiling优化技术, Program's Performance Profiling Optimization for Guiding Static Cache Partitioning, 计算机研究与发展, 2012, 第 2 作者
(26) On-the-Fly Structure Splitting for Heap Objects, ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION (CCF B), 2012, 通讯作者
(27) Providing Fairness on Shared-Memory Multiprocessors via Process Scheduling, SIGMETRICS/Performance 2012 (CCF B类), 2012, 通讯作者
(28) Efficient and Effective Misaligned Data Access Handling in a Dynamic Binary Translation System, ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION (CCF B), 2011, 通讯作者
(29) Dynamic Register Promotion of Stack Variables, 2011 9TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2011, 第 2 作者
(30) On Improving Heap Memory Layout by Dynamic Pool Allocation, CGO 2010: THE EIGHTH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS, 2010, 通讯作者
(31) On Mitigating Memory Bandwidth Contention through Bandwidth-Aware Scheduling, ACM International Conference on Parallel Architectures and Compilation Techniques (PACT ) (CCF B类), 2010, 通讯作者
(32) An Evaluation of Misaligned Data Access Handling Mechanisms in Dynamic Binary Translation Systems, CGO 2009: INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS, 2009, 通讯作者
(33) 二进制翻译中的X86浮点栈处理, Disposing X86 FPU Stack in Binary Translation, 计算机研究与发展, 2007, 第 2 作者
(34) 二进制翻译中的库函数处理, Library Function Disposing Approach in Binary Translation, 计算机研究与发展, 2006, 第 4 作者
(35) Cobol到Java翻译中的数据类型转换方法, Mapping Cobol Data to Java Type System with Functional Equivalence, 计算机研究与发展, 2006, 第 3 作者
(36) 二进制翻译应用级异常处理, Exception Handling in Application Level Binary Translation, 计算机研究与发展, 2006, 第 2 作者
(37) 二进制翻译中的标志位优化技术, Two Condition Code Optimization Approaches in Binary Translation, 计算机研究与发展, 2005, 第 2 作者
(38) 基于主体论和多主体信息检索服务器, 计算机研究与发展, 2001, 第 1 作者
(39) 移动主体部分关键技术研究, 2001, 第 1 作者
(40) Configurable Mobile Agent and Its Fault-tolerance Mechanism, International Conference on Computer Networks and Mobile Computing (ICCNMC), 2001, 第 1 作者
(41) 在PowerBuilder中读写Sybase的Image数据, 信息工程学院学报, 1998, 第 2 作者