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 visiting PhD student at the NUS School of Computing, visiting from Harbin Institute of Technology (Shenzhen) and working with Flavien Solt. Lei's research is on processor security, with hardware fuzzing and formal verification.

Lei started a PhD at Harbin Institute of Technology (Shenzhen) in 2023, working on security verification of RISC-V processors with formal methods and fuzzing at the register-transfer level. Lei co-organized two editions of the Integrated Circuit Security Challenge, a bug-hunting competition on a RISC-V SoC. Before the PhD, Lei studied at Xidian University (MEng) and Nanchang University (BE).

Research interests

  • Processor security
  • Hardware fuzzing
  • Formal verification
  • Speculative execution security
  • Large language models for hardware design

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: Chain-of-Thought Supervision and AST-Guided Retrieval for LLM-Based Verilog Repair

Lei Peng, Aijiao Cui, and Yier Jin

Code
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