Peng Lei
People

Peng Lei

Visiting PhD Student

ChocoLab · School of Computing, National University of Singapore

Visiting from Harbin Institute of Technology (Shenzhen)

Bio

Lei is a PhD student at Harbin Institute of Technology (Shenzhen), visiting the NUS School of Computing on a China Scholarship Council joint-training program and working with Flavien Solt.

Lei's research is on processor security, in particular fuzzing and formal verification of open-source RISC-V processors. Lei also works on the automated repair of RTL designs, and is interested in the security of large language models and in AI for electronic design automation.

Research interests

  • Processor security
  • Hardware fuzzing
  • Formal verification
  • Large language model security
  • RTL repair

Education

  • PhD in Computer Science, Harbin Institute of Technology (Shenzhen), since 2023
  • MEng in Electronics and Communication Engineering, Xidian University, 2020 to 2023
  • BE in Communications Engineering, Nanchang University, 2016 to 2020

Publications

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