Peng Lei
Team

Peng Lei

Gastdoktorand*in

ChocoLab · School of Computing, National University of Singapore

Zu Gast vom Harbin Institute of Technology (Shenzhen)

Biografie

Lei promoviert am Harbin Institute of Technology (Shenzhen) und ist im Rahmen eines gemeinsamen Promotionsprogramms des China Scholarship Council zu Gast an der NUS School of Computing, in Zusammenarbeit mit Flavien Solt.

Leis Forschung gilt der Prozessorsicherheit, insbesondere dem Fuzzing und der formalen Verifikation von Open-Source-RISC-V-Prozessoren. Lei arbeitet außerdem an der automatischen Reparatur von RTL-Designs und interessiert sich für die Sicherheit großer Sprachmodelle und für KI in der Entwurfsautomatisierung.

Forschungsinteressen

  • Prozessorsicherheit
  • Hardware-Fuzzing
  • Formale Verifikation
  • Sicherheit großer Sprachmodelle
  • RTL-Reparatur

Ausbildung

  • Promotion in Informatik, Harbin Institute of Technology (Shenzhen), seit 2023
  • MEng in Elektronik und Nachrichtentechnik, Xidian University, 2020 bis 2023
  • BE in Nachrichtentechnik, Nanchang University, 2016 bis 2020

Publikationen

2026

DATE

VeriRepair: Toward Reliable LLM-Based RTL Repair via CoT-Supervised Multi-Objective Fine-Tuning and Hybrid Retrieval

Lei Peng, Aijiao Cui, and Yier Jin

Code
2026

IEEE ITC-Asia

CPCRFuzz: Adaptive Security-Critical Path and Control-Register Guided Fuzzing for Processor Vulnerability Detection

Lei Peng, Aijiao Cui, and Yier Jin

2026

IEEE ITC-Asia

SAPA: A Programmable and Semantics-Aware Shared Polynomial Accelerator for ML-KEM and ML-DSA

Lei Peng, Yalin Wang, Yunbo Jia, Yuanhao Bai, Aijiao Cui, and Yier Jin

2025

IEEE AsianHOST

Bug Hunting in the RISC-V SoC: The 1st Integrated Circuit Security Challenge

Lei Peng, Jiacheng Zhu, Qizhi Zhang, Shibo Tang, Xingxin Wang, Xinyu Zheng, Yaxuan Zhao, Aijiao Cui, Wei Hu, Jiaji He, and Pengfei Qiu

Paper