2025
Biografie
Jinyan forscht als Research Fellow (Postdoc) an der NUS, in Zusammenarbeit mit Flavien Solt. Jinyans Forschung gilt dem Zusammenspiel von Hardware und Software für Systemsicherheit und Hardwareverifikation.
Jinyan wurde 2025 an der Zhejiang University promoviert, betreut von Yajin Zhou, und hat dort 2020 einen BS erworben. Von 2023 bis 2026 forschte Jinyan als Gast an der Southern University of Science and Technology (SUSTech), betreut von Yinqian Zhang.
Forschungsinteressen
- Rechnerarchitektur
- Hardwareverifikation
- Systemsicherheit
- Hardware-Software-Co-Design
Ausbildung
- Promotion in Cybersicherheit, Zhejiang University, 2020 bis 2025. Betreuung: Yajin Zhou.
- BS in Informationssicherheit, Zhejiang University, 2016 bis 2020
Auszeichnungen
- Auszeichnung „Outstanding Graduate“ (Promotion), 2025
- Erster Platz, HACK@DAC Hardware CTF Contest, 2023
- Nationales Stipendium, 2022
- Erster Preis, Chinese College Student Embedded SoC Design Contest, 2021
- Auszeichnung „Outstanding Graduate“ (Bachelor), 2020
- Erster Platz, iDASH Secure Genome Analysis Competition, Track III, 2019
- Erster Preis, Chinese College Student Information Security Contest, 2019
Lehre
Lehrassistenz an der Zhejiang University:
- Computersysteme (2022, 2023, 2024)
- Betriebssysteme (2020)
- Rechnerorganisation und Rechnerentwurf (2018, 2020, 2022)
- Digitaler Logikentwurf (2019, 2021)
Betreuung
Bachelorarbeiten an der Zhejiang University: Xingzhi Zhang (2026), Yangye Zhou (2024), Yiyuan Liu (2023).
Publikationen
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