
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
2025
ACM Transactions on Computer Systems
RegVault II: Achieving Hardware-Assisted Selective Kernel Data Randomization for Multiple Architectures
2023
2022
ACM/IEEE DAC
RegVault: Hardware Assisted Selective Data Randomization for Operating System Kernels
2021