Xu Jinyan
People

Xu Jinyan

Postdoctoral Researcher

ChocoLab · School of Computing, National University of Singapore

Bio

Jinyan is a Research Fellow at NUS, working with Flavien Solt. Jinyan's research focuses on hardware-software collaboration for system security and hardware verification.

Jinyan received a PhD from Zhejiang University in 2025, advised by Yajin Zhou, and a BS from Zhejiang University in 2020. From 2023 to 2026, Jinyan was a visiting scholar at the Southern University of Science and Technology (SUSTech), advised by Yinqian Zhang.

Research interests

  • Computer architecture
  • Hardware verification
  • System security
  • Hardware-software co-design

Education

  • PhD in Cyberspace Security, Zhejiang University, 2020 to 2025. Advisor: Yajin Zhou.
  • BS in Information Security, Zhejiang University, 2016 to 2020

Awards

  • Outstanding Graduate (PhD), 2025
  • First place, HACK@DAC Hardware CTF Contest, 2023
  • National Scholarship, 2022
  • First prize, Chinese College Student Embedded SoC Design Contest, 2021
  • Outstanding Graduate (bachelor's), 2020
  • First place, iDASH Secure Genome Analysis Competition, Track III, 2019
  • First prize, Chinese College Student Information Security Contest, 2019

Teaching

Teaching assistant at Zhejiang University:

  • Computer Systems (2022, 2023, 2024)
  • Operating System (2020)
  • Computer Organization and Design (2018, 2020, 2022)
  • Digital Logic Design (2019, 2021)

Mentoring

Bachelor's theses at Zhejiang University: Xingzhi Zhang (2026), Yangye Zhou (2024), Yiyuan Liu (2023).

Publications

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

All publications on Jinyan's website