Architecture collaboration for system security and verification.
My research explores how hardware and software can be designed together for secure and verifiable computer systems. It spans hardware-assisted security and software-inspired hardware verification, studying how architectural mechanisms and verification techniques can improve system reliability and trustworthiness.
About
Starting in August 2026, I will be a Research Fellow at the National University of Singapore, working with Prof. Flavien Solt. I received my Ph.D. from Zhejiang University in 2025, advised by Prof. Yajin Zhou, and my B.S. from Zhejiang University in 2020. From 2023 to 2026, I was a visiting scholar at the Southern University of Science and Technology, advised by Prof. Yinqian Zhang. It has been a privilege to learn from and work with many friends and researchers along the way.
My current research interests include computer architecture, hardware verification, system security, and hardware-software co-design.
Mentorship
- Xingzhi Zhang, Zhejiang University, Bachelor’s Thesis, 2026
- Yangye Zhou, Zhejiang University, Bachelor’s Thesis, 2024
- Yiyuan Liu, Zhejiang University, Bachelor’s Thesis, 2023
Teaching
- Teaching Assistant, Zhejiang University, Computer Systems, ZJU, 2022-2024
- Teaching Assistant, Zhejiang University, Operating System, ZJU, 2020
- Teaching Assistant, Zhejiang University, Computer Organization And Design, 2018, 2020, 2022
- Teaching Assistant, Zhejiang University, Digital Logic Design, 2019, 2021
Publications
DejaVuzz: Disclosing Transient Execution Bugs with Dynamic Swappable Memory and Differential Information Flow Tracking Assisted Processor Fuzzing
Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3 2025
Paper Code@inproceedings{xu2025dejavuzz, title = {DejaVuzz: Disclosing transient execution bugs with dynamic swappable memory and differential information flow tracking assisted processor fuzzing}, author = {Xu, Jinyan and Zhou, Yangye and Zhang, Xingzhi and Li, Yinshuai and Tan, Qinhan and Zhang, Yinqian and Zhou, Yajin and Chang, Rui and Shen, Wenbo}, booktitle = {Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3}, pages = {64–80}, year = {2025} }MorFuzz: Fuzzing Processor via Runtime Instruction Morphing Enhanced Synchronizable Co-simulation
32nd USENIX Security Symposium (USENIX Security 23) 2023
Paper Code@inproceedings{xu2023morfuzz, title = {MorFuzz: Fuzzing processor via runtime instruction morphing enhanced synchronizable co-simulation}, author = {Xu, Jinyan and Liu, Yiyuan and He, Sirui and Lin, Haoran and Zhou, Yajin and Wang, Cong}, booktitle = {32nd USENIX Security Symposium (USENIX Security 23)}, pages = {1307–1324}, year = {2023} }RegVault: Hardware Assisted Selective Data Randomization for Operating System Kernels
Proceedings of the 59th ACM/IEEE Design Automation Conference 2022
Paper@inproceedings{xu2022regvault, title = {RegVault: hardware assisted selective data randomization for operating system kernels}, author = {Xu, Jinyan and Lin, Haoran and Yuan, Ziqi and Shen, Wenbo and Zhou, Yajin and Chang, Rui and Wu, Lei and Ren, Kui}, booktitle = {Proceedings of the 59th ACM/IEEE Design Automation Conference}, pages = {715–720}, year = {2022} }