Xu Jinyan
Команда

Xu Jinyan

Постдок

ChocoLab · School of Computing, Национальный университет Сингапура

Биография

Jinyan работает научным сотрудником (Research Fellow) в NUS вместе с Flavien Solt. Исследования Jinyan посвящены взаимодействию аппаратуры и программного обеспечения для безопасности систем и верификации аппаратуры.

У Jinyan есть степень PhD Чжэцзянского университета (2025, научный руководитель Yajin Zhou) и степень бакалавра (BS) того же университета (2020). С 2023 по 2026 год у Jinyan была исследовательская стажировка в Южном университете науки и технологий (SUSTech) под руководством Yinqian Zhang.

Научные интересы

  • Архитектура компьютеров
  • Верификация аппаратуры
  • Безопасность систем
  • Совместное проектирование аппаратуры и ПО

Образование

  • PhD, кибербезопасность, Чжэцзянский университет, с 2020 по 2025 год. Научный руководитель: Yajin Zhou.
  • Бакалавриат (BS), информационная безопасность, Чжэцзянский университет, с 2016 по 2020 год

Награды

  • Лучший выпускник (PhD), 2025
  • Первое место, аппаратный CTF HACK@DAC, 2023
  • Государственная стипендия, 2022
  • Первая премия, Всекитайский студенческий конкурс по проектированию встраиваемых SoC, 2021
  • Лучший выпускник (бакалавриат), 2020
  • Первое место, iDASH Secure Genome Analysis Competition, 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

Все публикации на сайте Jinyan