基本信息
王喆 男 硕导 中国科学院计算技术研究所
电子邮件： wangzhe12@ict.ac.cn
通信地址： 北京市海淀区科学院南路6号
邮政编码： 100190
电子邮件： wangzhe12@ict.ac.cn
通信地址： 北京市海淀区科学院南路6号
邮政编码： 100190
招生信息
招生专业
081201-计算机系统结构
083900-网络空间安全
083900-网络空间安全
招生方向
系统安全
教育背景
2012-09--2018-07 中科院计算所 博士学位
工作经历
工作简历
2021-10~现在, 中科院计算所, 副研究员
2018-07~2021-09,中科院计算所, 助理研究员
2012-09~2018-07,中科院计算所, 博士学位
2018-07~2021-09,中科院计算所, 助理研究员
2012-09~2018-07,中科院计算所, 博士学位
社会兼职
2022-01-15-今,CCF体系结构专委会, 副秘书长
教授课程
程序设计基础与实验（C语言）
程序设计基础与实验（C语言）实验课
程序设计基础与实验（C语言）实验课
专利与奖励
专利成果
（ 1 ） 一种容器虚拟化安全加固装置及方法, 2021, 第 1 作者, 专利号: CN110059453B
（ 2 ） 一种应用的保护方法及系统, 2021, 第 1 作者, 专利号: CN109840411B
（ 3 ） 一种抵御代码重用攻击的方法, 2018, 第 1 作者, 专利号: CN105022956B
（ 4 ） 一种抵御代码重用攻击的工作进程随机化方法及系统, 2018, 第 1 作者, 专利号: CN105224864B
（ 2 ） 一种应用的保护方法及系统, 2021, 第 1 作者, 专利号: CN109840411B
（ 3 ） 一种抵御代码重用攻击的方法, 2018, 第 1 作者, 专利号: CN105022956B
（ 4 ） 一种抵御代码重用攻击的工作进程随机化方法及系统, 2018, 第 1 作者, 专利号: CN105224864B
出版信息
发表论文
（1） HIVE: A Hardware-assisted Isolated Execution Environment for eBPF on AArch64, USENIX Security, 2024, 第 12 作者 通讯作者
（2） OptFuzz: Optimization Path Guided Fuzzing for JavaScript JIT Compilers, USENIX Security, 2024, 第 11 作者
（3） A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications, USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2024, 第 6 作者
（4） PANIC: PAN-assisted Intra-process Memory Isolation on ARM, ACM Conference on Computer and Communications Security (CCS), 2023, 第 11 作者 通讯作者
（5） SpecWands: An Efficient Priority-based Scheduler Against Speculation Contention Attacks, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2023, 第 10 作者 通讯作者
（6） SoftTRR: Protect Page Tables against Rowhammer Attacks using Software-only Target Row Refresh., 2022 USENIX Annual Technical Conference.(USENIX ATC '22). (CCF A), 2022, 第 9 作者
（7） 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, 第 3 作者 通讯作者
（8） SpecBox: A Label-Based Transparent Speculation Scheme Against Transient Execution Attacks, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2022, 第 3 作者 通讯作者
（9） Making Information Hiding Effective Again, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING (CCF A), 2021, 第 1 作者
（10） SEIMI: Efficient and Secure SMAP-Enabled Intra-process Memory Isolation, 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), 2020, 第 1 作者
（11） SafeHidden: An Efficient and Secure Information Hiding Technique Using Re-randomization, PROCEEDINGS OF THE 28TH USENIX SECURITY SYMPOSIUM, 2019, 第 1 作者
（12） Using Local Clocks to Reproduce Concurrency Bugs, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING （CCF A）, 2018, 第 1 作者
（13） RERANZ: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks, ACM SIGPLAN NOTICES, 2017, 第 1 作者
（14） HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines, ACM SIGPLAN NOTICES, 2015, 第 1 作者
（2） OptFuzz: Optimization Path Guided Fuzzing for JavaScript JIT Compilers, USENIX Security, 2024, 第 11 作者
（3） A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications, USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2024, 第 6 作者
（4） PANIC: PAN-assisted Intra-process Memory Isolation on ARM, ACM Conference on Computer and Communications Security (CCS), 2023, 第 11 作者 通讯作者
（5） SpecWands: An Efficient Priority-based Scheduler Against Speculation Contention Attacks, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2023, 第 10 作者 通讯作者
（6） SoftTRR: Protect Page Tables against Rowhammer Attacks using Software-only Target Row Refresh., 2022 USENIX Annual Technical Conference.(USENIX ATC '22). (CCF A), 2022, 第 9 作者
（7） 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, 第 3 作者 通讯作者
（8） SpecBox: A Label-Based Transparent Speculation Scheme Against Transient Execution Attacks, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2022, 第 3 作者 通讯作者
（9） Making Information Hiding Effective Again, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING (CCF A), 2021, 第 1 作者
（10） SEIMI: Efficient and Secure SMAP-Enabled Intra-process Memory Isolation, 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), 2020, 第 1 作者
（11） SafeHidden: An Efficient and Secure Information Hiding Technique Using Re-randomization, PROCEEDINGS OF THE 28TH USENIX SECURITY SYMPOSIUM, 2019, 第 1 作者
（12） Using Local Clocks to Reproduce Concurrency Bugs, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING （CCF A）, 2018, 第 1 作者
（13） RERANZ: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks, ACM SIGPLAN NOTICES, 2017, 第 1 作者
（14） HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines, ACM SIGPLAN NOTICES, 2015, 第 1 作者
科研活动
科研项目
（ 1 ） 基于人机融合的XXX分析技术, 负责人, 其他, 2023-06--2025-10
（ 2 ） Linux内核的XXX方法, 负责人, 国家任务, 2023-03--2025-03
（ 3 ） Linux内核全局、静态数据分类保护技术, 负责人, 境内委托项目, 2021-10--2022-10
（ 4 ） 软件知识产权保护技术研究和工具开发, 参与, 境内委托项目, 2020-09--2020-12
（ 5 ） 多域PC系统, 负责人, 境内委托项目, 2020-04--2020-09
（ 6 ） 面向应用安全的特权级硬件挖掘研究, 负责人, 国家任务, 2020-01--2022-12
（ 7 ） 面向智能芯片的安全执行环境, 负责人, 研究所自主部署, 2020-01--2021-12
（ 8 ） 多层次软件架构的漏洞感知及防利用技术研究, 参与, 国家任务, 2018-01--2021-12
（ 2 ） Linux内核的XXX方法, 负责人, 国家任务, 2023-03--2025-03
（ 3 ） Linux内核全局、静态数据分类保护技术, 负责人, 境内委托项目, 2021-10--2022-10
（ 4 ） 软件知识产权保护技术研究和工具开发, 参与, 境内委托项目, 2020-09--2020-12
（ 5 ） 多域PC系统, 负责人, 境内委托项目, 2020-04--2020-09
（ 6 ） 面向应用安全的特权级硬件挖掘研究, 负责人, 国家任务, 2020-01--2022-12
（ 7 ） 面向智能芯片的安全执行环境, 负责人, 研究所自主部署, 2020-01--2021-12
（ 8 ） 多层次软件架构的漏洞感知及防利用技术研究, 参与, 国家任务, 2018-01--2021-12