徐金焱
成員

徐金焱

博士後研究員

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

論文

徐金焱個人網頁上的全部論文