
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
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