彭磊
成員

彭磊

訪問博士生

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

論文