彭磊
成员

彭磊

访问博士生

ChocoLab · 新加坡国立大学计算机学院

来自哈尔滨工业大学（深圳）

简介

彭磊是哈尔滨工业大学（深圳）的博士生，通过国家留学基金委联合培养项目在新加坡国立大学计算机学院访问，与 Flavien (枫文) Solt 合作。

彭磊的研究方向是处理器安全，特别是开源 RISC-V 处理器的模糊测试与形式化验证。彭磊也研究 RTL 设计的自动修复，并关注大语言模型安全以及面向电子设计自动化的人工智能。

研究兴趣

  • 处理器安全
  • 硬件模糊测试
  • 形式化验证
  • 大语言模型安全
  • RTL 修复

教育经历

  • 博士，计算机科学，哈尔滨工业大学（深圳），2023 年起
  • 工程硕士，电子与通信工程，西安电子科技大学，2020 至 2023 年
  • 工学学士，通信工程，南昌大学，2016 至 2020 年

论文

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

代码
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

论文