Xu Jinyan
Membres

Xu Jinyan

Postdoc

ChocoLab · School of Computing, Université nationale de Singapour

Biographie

Jinyan occupe un poste de Research Fellow (postdoc) à la NUS, en collaboration avec Flavien Solt. Ses recherches portent sur la collaboration entre matériel et logiciel pour la sécurité des systèmes et la vérification du matériel.

Jinyan a obtenu un doctorat à l'université du Zhejiang en 2025, sous la direction de Yajin Zhou, et une licence à l'université du Zhejiang en 2020. De 2023 à 2026, Jinyan a effectué un séjour de recherche à la Southern University of Science and Technology (SUSTech), sous la direction de Yinqian Zhang.

Thèmes de recherche

  • Architecture des ordinateurs
  • Vérification du matériel
  • Sécurité des systèmes
  • Co-conception matériel-logiciel

Formation

  • Doctorat en sécurité du cyberespace, université du Zhejiang, de 2020 à 2025. Direction : Yajin Zhou.
  • Licence en sécurité de l'information, université du Zhejiang, de 2016 à 2020

Distinctions

  • Prix du diplômé d'excellence (doctorat), 2025
  • Première place, concours CTF matériel HACK@DAC, 2023
  • Bourse nationale, 2022
  • Premier prix, concours national chinois de conception de SoC embarqués pour étudiants, 2021
  • Prix du diplômé d'excellence (licence), 2020
  • Première place, compétition iDASH d'analyse sécurisée du génome, Track III, 2019
  • Premier prix, concours national chinois de sécurité de l'information pour étudiants, 2019

Enseignement

Enseignement (TD) à l'université du Zhejiang :

  • Systèmes informatiques (2022, 2023, 2024)
  • Systèmes d'exploitation (2020)
  • Organisation et conception des ordinateurs (2018, 2020, 2022)
  • Conception logique numérique (2019, 2021)

Encadrement

Mémoires de licence à l'université du Zhejiang : 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

Toutes les publications sur le site de Jinyan