2026
DATE
Biographie
Lei prépare un doctorat à l'Institut de technologie de Harbin (Shenzhen) et effectue un séjour à la School of Computing de la NUS dans le cadre d'un programme de formation conjointe du China Scholarship Council, en collaboration avec Flavien Solt.
Les recherches de Lei portent sur la sécurité des processeurs, en particulier le fuzzing et la vérification formelle des processeurs RISC-V open source. Lei travaille aussi sur la réparation automatique de circuits RTL, et s'intéresse à la sécurité des grands modèles de langage et à l'IA pour la conception de circuits (EDA).
Thèmes de recherche
- Sécurité des processeurs
- Fuzzing matériel
- Vérification formelle
- Sécurité des grands modèles de langage
- Réparation de RTL
Formation
- Doctorat en informatique, Institut de technologie de Harbin (Shenzhen), depuis 2023
- Master d'ingénierie en électronique et communications, université Xidian, de 2020 à 2023
- Licence d'ingénierie en ingénierie des communications, université de Nanchang, de 2016 à 2020
Publications
2026
IEEE ITC-Asia
CPCRFuzz: Adaptive Security-Critical Path and Control-Register Guided Fuzzing for Processor Vulnerability Detection
2026
IEEE ITC-Asia
SAPA: A Programmable and Semantics-Aware Shared Polynomial Accelerator for ML-KEM and ML-DSA
2025