徐金焱
成员

徐金焱

博士后研究员

ChocoLab · 新加坡国立大学计算机学院

简介

徐金焱是新加坡国立大学的研究员（Research Fellow），与 Flavien (枫文) Solt 合作。其研究聚焦于面向系统安全与硬件验证的软硬件协同。

徐金焱于 2025 年在浙江大学获得博士学位，导师为 Yajin Zhou，并于 2020 年在浙江大学获得学士学位。2023 年至 2026 年，徐金焱在南方科技大学（SUSTech）担任访问学者，导师为 Yinqian Zhang。

研究兴趣

  • 计算机体系结构
  • 硬件验证
  • 系统安全
  • 软硬件协同设计

教育经历

  • 博士，网络空间安全，浙江大学，2020 至 2025 年。导师：Yajin Zhou。
  • 学士，信息安全，浙江大学，2016 至 2020 年

荣誉奖项

  • 优秀毕业研究生，2025
  • HACK@DAC 硬件 CTF 竞赛第一名，2023
  • 国家奖学金，2022
  • 全国大学生嵌入式芯片与系统设计竞赛一等奖，2021
  • 优秀本科毕业生，2020
  • iDASH 安全基因组分析竞赛 Track III 第一名，2019
  • 全国大学生信息安全竞赛一等奖，2019

教学

浙江大学助教：

  • 计算机系统（2022、2023、2024）
  • 操作系统（2020）
  • 计算机组成与设计（2018、2020、2022）
  • 数字逻辑设计（2019、2021）

指导学生

浙江大学本科毕业论文：Xingzhi Zhang（2026）、Yangye Zhou（2024）、Yiyuan Liu（2023）。

论文

2025

ACM ASPLOS

DejaVuzz: Disclosing Transient Execution Bugs with Dynamic Swappable Memory and Differential Information Flow Tracking Assisted Processor Fuzzing

Jinyan Xu, Yangye Zhou, Xingzhi Zhang, Yinshuai Li, Qinhan Tan, Yinqian Zhang, Yajin Zhou, Rui Chang, and Wenbo Shen

论文 代码
2025

ACM Transactions on Computer Systems

RegVault II: Achieving Hardware-Assisted Selective Kernel Data Randomization for Multiple Architectures

Ruorong Guo, Yangye Zhou, Jinyan Xu, Wenbo Shen, Yajin Zhou, and Rui Chang

论文
2023

USENIX Security

MorFuzz: Fuzzing Processor via Runtime Instruction Morphing Enhanced Synchronizable Co-simulation

Jinyan Xu, Yiyuan Liu, Sirui He, Haoran Lin, Yajin Zhou, and Cong Wang

论文 代码
2022

ACM/IEEE DAC

RegVault: Hardware Assisted Selective Data Randomization for Operating System Kernels

Jinyan Xu, Haoran Lin, Ziqi Yuan, Wenbo Shen, Yajin Zhou, Rui Chang, Lei Wu, and Kui Ren

论文
2021

ACM APSys

Revisiting Challenges for Selective Data Protection of Real Applications

Lin Ma, Jinyan Xu, Jiadong Sun, Yajin Zhou, Xun Xie, Wenbo Shen, Rui Chang, and Kui Ren

论文

徐金焱个人主页上的全部论文