Resume
Yicheng Zhong
Intelligent Processor Security Verification · OS · Data Science
Building & studying elegant systems, embracing the AI trend, reducing tedious efforts and improving efficiency.
Research Expertise
Primary research focus is on intelligent processor security verification, with substantial background in operating systems and data science. Works at the intersection of EDA/CPU, OS, and DB/DE, aiming to improve hardware security verification efficiency through software-driven approaches.
EDA / CPU
LLM4EDA, Software-driven SLT, Processor Fuzzing
Hack@DATE 3rd / Hack@CHES 1st, Top-tier Hardware Bug Hunting Competition
2025Competition & Workshop co-located with DATE/CHES conference
Discovered and exploited vulnerabilities in OpenTitan (industrial-grade RoT SoC) using DV/fuzz + LLM audit + RCA/exp Agent
WaveAce (DAC Poster), An RCA Method for White-box SoC System-level Testing
2025–2026Software-semantic-enhanced waveform viewing tools with static-dynamic collaborative workflow
RVEcoFuzz, CPU Fuzz / Evaluation / Analysis Framework
2026Integrates multiple open-source CPUs and fuzzers; improves coverage via RV ecosystem software and binary program analysis, speedup via proxy models, 5 bugs uncovered
CPU Toy Projects
2022.8–12Implemented a Chisel single-cycle CPU (YSYX Phase 5); Verilog 5-stage pipeline RV32I with M/U-mode + PLIC + AXI-Lite + SPI peripherals, runs at 100MHz on FPGA
Chisel / Verilog / RISC-V / FPGA
Operating Systems
Kernel principles, userland system services; some knowledge of storage and graphics stack
National College System Capability Competition, Kernel Design Track 3rd Prize
2023.8Implemented process scheduling, memory management, file system, and device drivers in modern C++ (10k LoC); runs BusyBox and passes Glibc-test
Deepin Window Manager Treeland R&D Internship
2024.2–2024.6Core Linux desktop component: Qt rendering engine, QML modern UI framework, Wayland protocol
Qt / QML / Wayland / Linux
Databases & Data Engineering
Graph databases, knowledge graphs, feature engineering
Datacon 2024 Software Supply Chain Security Track Champion
2024.12Static analysis triage + LLM batch audit + closed-loop rule library; responsible for rule design and manual audit
Efficient Representation and Query Rewriting Algorithm for SPARQL Graph Query Results
2023–2025Undergraduate thesis, extended paper under submission to ICDE
Knowledge Graph-based Credit Fraud Detection @ Zhongbang Bank
2023.9–12Knowledge graph construction, supporting feature engineering and model deployment
Knowledge Graph / Fraud Detection / Feature Engineering
Skills
Proficient：RISC-V、Fuzzing、Linux、OpenSource、Graph Data Management
Familiar：AI Infra、Compilers、Program Analysis、CPU Architecture、Agent Dev
Languages：C++、Python、Qt/QML、TypeScript、Rust
Education
ISRC, SE & Security for RISC-V Computing Infra
Hongyi Honors College, B.Eng in Computer Science