基本信息
王喆  男  博导  中国科学院计算技术研究所
电子邮件: wangzhe12@ict.ac.cn
通信地址: 北京市海淀区科学院南路6号
邮政编码: 100190

研究领域

我的研究兴趣主要在计算机安全领域。具体而言,我的核心研究方向涵盖安全、操作系统、系统虚拟化、程序分析、动态二进制翻译以及编译器的交叉领域。我一直在以下方向开展工作:


- 面向软件安全的基础构建技术:进程内隔离、内核隔离

- 针对运行时攻击的系统加固:内存安全、控制流完整性、(重)随机化、只执行内存

- 软件错误与漏洞的探索:多线程程序并发错误的复现、JavaScript 引擎模糊测试

- 硬件漏洞的利用与缓解:瞬时执行攻击与防御、传统基于缓存侧信道攻击

- 进程级与全系统虚拟化:动态二进制翻译、硬件辅助虚拟化、基于软件模拟的虚拟化

发表论文

  • BCFuzz: Bytecode-Driven Fuzzing for JavaScript Engines. Jiming Wang, Chenggang Wu, Yuhao Hu, Yan Kang, Xiaojie Wei, Yuanming Lai, Mengyao Xie, and Zhe Wang. In Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE'25). Seoul, South Korea, November 2025.
  • Tide: An Efficient Kernel-level Isolation Execution Environment on AArch64 via Dynamically Adjusting Output Address Size. Shiyang Zhang, Chenggang Wu, Chengxuan Hou, Jinglin Lv, Yinqian Zhang, Qianyu Guo, Yuanming Lai, Mengyao Xie, Yan Kang, and Zhe Wang. In Proceedings of the 32nd ACM Conference on Computer and Communications Security (CCS'25). Taipei, China, October 2025.
  • SyzParam: Incorporating Runtime Parameters into Kernel Driver Fuzzing. Yue Sun, Yan Kang, Chenggang Wu, Kangjie Lu, Jiming Wang, Xingwei Li, Yuhao Hu, Jikai Ren, Yuanming Lai, Mengyao Xie, and Zhe Wang. In Proceedings of the 32nd ACM Conference on Computer and Communications Security (CCS'25). Taipei, China, October 2025.
  • LASM: Automatically Lift X86 Inline Assembly for Whole Program Analysis. Yuanming Lai, Zhe Wang, Chenggang Wu, Ding Yu, Chengxuan Hou. Journal of Computer Research and Development, Volume 62, 2025.
  • SIMD-RVV: Optimizing Cross-Architecture Programming Model Adaptation in SIMD-to-RVV Dynamic Binary Translation. Yuanming Lai, Yalong Li, Hanzhi Hu, Mengyao Xie, Zhe Wang , and Chenggang Wu. Journal of Computer Research and Development, Volume 62, 2025.
  • XHarvest: Rethinking High-Performance and Cost-Efficient SSD Architecture with CXL-Driven Harvesting. Li Peng, Wenbo Wu, Shushu Yi, Xianzhang Chen, Chenxi Wang, Shengwen Liang, Zhe Wang, Nong Xiao, Qiao Li, Mingzhe Zhang, and Jie Zhang. In the 52nd International Symposium on Computer Architecture (ISCA'25). Tokyo, Japan, June 2025.
  • HyperHammer: Breaking Free from KVM-Enforced Isolation. Wei Chen, Zhi Zhang, Xin Zhang, Qingni Shen, Yuval Yarom, Daniel Genkin, Chen Yan, and Zhe Wang. In the 2025 International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'25). Rotterdam, Netherlands, Mar 2025.
  • Shining Light on the Inter-procedural Code Obfuscation: Keep Pace with Progress in Binary Diffing. Peihua Zhang, Chenggang Wu, Hanzhi Hu, Lichen Jia, Mingfan Peng, Jiali Xu, Mengyao Xie, Yuanming Lai, Yan Kang, and Zhe Wang . ACM Transactions on Architecture and Code Optimization (TACO'24). Nov 2024.
  • Enhancing Learning-Based Binary Code Similarity Detection Model through Adversarial Training with Multiple Function Variants. Lichen Jia, Chenggang Wu, Bowen Tang, Peihua Zhang, Zihan Jiang, Yang Yang, Ning Liu, Jingfeng Zhang, and Zhe Wang . In The 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP'24). Miami, Florida, USA, Nov 2024.
  • HIVE: A Hardware-assisted Isolated Execution Environment for eBPF on AArch64. Peihua Zhang, Chenggang Wu, Xiangyu Meng, Yinqian Zhang, Mingfan Peng, Shiyang Zhang, Bing Hu, Mengyao Xie, Yuanming Lai, Yan Kang, and Zhe Wang . In Proceedings of the 33rd USENIX Security Symposium (Security'24). PHILADELPHIA, PA, USA, August 2024.
  • OptFuzz: Optimization Path Guided Fuzzing for JavaScript JIT Compilers. Jiming Wang, Yan Kang, Chenggang Wu, Yuhao Hu, Yue Sun, Jikai Ren, Yuanming Lai, Mengyao Xie, Chao Zhang, Tao Li, and Zhe Wang. In Proceedings of the 33rd USENIX Security Symposium (Security'24). PHILADELPHIA, PA, USA, August 2024.
  • A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications. Lei Chen, Shi Liu, Chenxi Wang, Haoran Ma, Yifan Qiao, Zhe Wang, Chenggang Wu, Youyou Lu, Xiaobing Feng, Huimin Cui, Shan Lu, and Harry Xu.
  • In Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI'24). SANTA CLARA, CA, USA, July 2024.
  • CodeExtract: Enhancing Binary Code Similarity Detection with Code Extraction Techniques. Lichen Jia, Chenggang Wu, Peihua Zhang, and Zhe Wang . In Proceedings of the 25th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'24). Copenhagen, June 2024.
  • PANIC: PAN-assisted Intra-process Memory Isolation on ARM. Jiali Xu, Mengyao Xie, Chenggang Wu, Yinqian Zhang, Qijing Li, Xuan Huang, Yuanming Lai, Yan Kang, Wei Wang, Qiang Wei, and Zhe Wang . In Proceedings of the 30th ACM Conference on Computer and Communications Security (CCS'23). Copenhagen, Denmark, November 2023. ★ Distinguished Paper Award
  • SpecWands: An Efficient Priority-based Scheduler Against Speculation Contention Attacks. Bowen Tang, Chenggang Wu, Pen-Chung Yew, Yinqian Zhang, Mengyao Xie, Yuanming Lai, Yan Kang, Wei Wang, Qiang Wei, and Zhe Wang . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD'23). May 2023.
  • Khaos: The Impact of Inter-procedural Code Obfuscation on Binary Diffing Techniques. Peihua Zhang, Chenggang Wu, Mingfan Peng, Kai Zeng, Ding Yu, Yuanming Lai, Wei Wang, and Zhe Wang.
  • In Proceedings of the 21st IEEE/ACM International Symposium on Code Generation and Optimization (CGO'23). Montréal, QC, Canada, February 2023
  • SoftTRR: Protect Page Tables Against RowHammer Attacks using Software-only Target Row Refresh. Zhi Zhang, Yueqiang Cheng, Minghua Wang, Wei He, Wenhao Wang, Nepal Surya, Yansong Gao, Kang Li, Zhe Wang, and Chenggang Wu. In Proceedings of the 2022 USENIX Annual Technical Conference (ATC'22). Carlsbad, CA, USA, July 2022
  • CETIS: Retrofitting Intel CET for Generic and Efficient Intra-process Memory Isolation. Mengyao Xie, Chenggang Wu, Yinqian Zhang, Jiali Xu, Yuanming Lai, Yan Kang, Wei Wang, and Zhe Wang . In Proceedings of the 29th ACM Conference on Computer and Communications Security (CCS'22). Los Angeles, U.S.A., November 2022. ★ Best Paper Honorable Mention Award
  • Dancing with Wolves: An Intra-process Isolation Technique with Privileged Hardware. Chenggang Wu, Mengyao Xie, Zhe Wang , Yinqian Zhang, Kangjie Lu, Xiaofeng Zhang, Yuanming Lai, Yan Kang, Min Yang, and Tao Li. IEEE Transactions on Dependable and Secure Computing (TDSC'22). April 2022.
  • KOPFUZZER: A Key-Operation-based Fuzzer for Type Confusion Bugs in JavaScript Engine. Lili Sun, Chenggang Wu, Zhe Wang, Yan Kang, and Bowen Tang. In Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conference (COMPSAC'22). Torino, Italy, June 2022.
  • SLIME: Program-sensitive Energy Allocation for Fuzzing. Chenyang Lyu, Hong Liang, Shouling Ji, Xuhong Zhang, Binbin Zhao, Meng Han, Yun Li, Zhe Wang, Wenhai Wang, and Raheem Beyah. In Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'22). Daejeon, South Korea, July 2022.
  • SpecBox: A Label-Based Transparent Speculation Scheme Against Transient Execution Attacks. Bowen Tang, Chenggang Wu, Zhe Wang , Lichen Jia, Pen-Chung Yew, Yueqiang Cheng, Yinqian Zhang, Chenxi Wang, and Guoqing Harry Xu. IEEE Transactions on Dependable and Secure Computing (TDSC'22). Jan 2022.
  • Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths. Shunfan Zhou, Zhemin Yang, Dan Qiao, Peng Liu, Min Yang, Zhe Wang, and Chenggang Wu. In Proceedings of the 31st USENIX Security Symposium (Security'22). Boston, MA, August 2022.
  • Making Information Hiding Effective Again. Zhe Wang, Chenggang Wu, Yinqian Zhang, Bowen Tang, Pen-Chung Yew, Mengyao Xie, Yuanming Lai, Yan Kang, Yueqiang Cheng, and Zhiping Shi. IEEE Transactions on Dependable and Secure Computing (TDSC'21). March 2021.
  • SEIMI: Efficient and Secure SMAP-Enabled Intra-process Memory Isolation. Zhe Wang, Chenggang Wu, Mengyao Xie, Yinqian Zhang, Kangjie Lu, Xiaofeng Zhang, Yuanming Lai, Yan Kang, and Min Yang. In Proceedings of the 41st IEEE Symposium on Security and Privacy (Oakland'20). San Francisco, CA, May 2020.
  • SafeHidden: An Efficient and Secure Information Hiding Technique Using Re-randomization. Zhe Wang, Chenggang Wu, Yinqian Zhang, Bowen Tang, Pen-Chung Yew, Mengyao Xie, Yuanming Lai, Yan Kang, Yueqiang Cheng, and Zhiping Shi. In Proceedings of the 28th USENIX Security Symposium (Security'19). Santa Clara, CA, August 2019.
  • Using Local Clocks to Reproduce Concurrency Bugs. Zhe Wang, Chenggang Wu, Xiang Yuan, Zhenjiang Wang, Jianjun Li, Pen-Chung Yew, Jeff Huang, Xiaobing Feng, Yanyan Lan, Yunji Chen, and Yuanming Lai. IEEE Transactions on Software Engineering (TSE'18), November 2018.
  • ReRanz: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks. Zhe Wang, Chenggang Wu, Jianjun Li, Yuanming Lai, Xiangyu Zhang, Wei-Chung Hsu, and Yueqiang Cheng. In Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environment (VEE'17). Xi'an, China, April 2017.
  • HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines. Zhe Wang, Jianjun Li, Chenggang Wu, Dongyan Yang, Zhenjiang Wang, Wei-Chung Hsu, Bin Li, and Yong Guan. In Proceedings of the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environment (VEE'15). Istanbul, Turkey, March 2015.

曾获荣誉

  • ACM SIGSAC China Rising Star, 2024
  • New 100-Academic-Stars Program in the Institute of Computing Technology, 2021
  • Leading Wild Goose Gold and Silver Award in the University of Chinese Academy of Sciences, 2021
  • Excellence Star in the Institute of Computing Technology, 2020
  • Outstanding Scientific Research Staff in the Institute of Computing Technology, 2020, 2019
  • Presidential Scholarship at the University of Chinese Academy of Sciences, 2018
  • Special Presidential Scholarship (Xia Peisu Scholarship) in the Institute of Computing Technology, 2017
  • National Scholarship for Ph.D. Candidates, 2017, 2015
  • Sugon Scholarship for Ph.D. Candidates, 2014
  • Pacemaker to Merit Student Award at the University of Chinese Academy of Sciences, 2014
  • Merit Student Award at the University of Chinese Academy of Sciences, 2013

审稿服务

Program Committee

  • ACM Conference on Computer and Communications Security (CCS), 2025, 2026
  • International Symposium on Research in Attacks, Intrusions and Defenses (RAID), 2026
  • ACM ASIA Conference on Computer and Communications Security (AsiaCCS), 2025
  • ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec), 2024
  • ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE), 2021
  • International Conference on Information and Communications Security (ICICS), 2021, 2022

External Reviewer

  • IEEE Symposium on Security and Privacy (Oakland), 2020
  • ACM ASIA Conference on Computer and Communications Security (AsiaCCS), 2021
  • IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2018, 2017, 2016, 2015
  • ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), 2018, 2017
  • IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), 2015

Journal Reviewer

  • Transactions on Dependable and Secure Computing (TDSC), 2025, 2026
  • Transactions on Information Forensics and Security (TIFS), 2026
  • Journal of Computer Science and Technology (JCST), 2020, 2026
  • CCF Transactions on High Performance Computing (THPC), 2021
  • IEEE Internet Computing, 2021