SymbFuzz: Symbolic Execution Guided Hardware Fuzzing
Oct 1, 2025·,
,,·
0 min read
Samit Shahnawaz Miftah
Amisha Srivastava
James Hyunmin Kim
Shiyi Wei
Kanad Basu
Abstract
SymbFuzz introduces a novel approach combining symbolic execution with hardware fuzzing to achieve deeper state-space exploration and more effective vulnerability detection in hardware designs, significantly improving coverage over traditional fuzzing methods.
Type
Publication
In IEEE/ACM International Symposium on Microarchitecture (MICRO 2025)
Authors
James Hyunmin Kim
(he/him)
Senior SoC Architect & Hardware Security Expert
Ph.D. in Electrical Engineering from KU Leuven (imec-COSIC), with 15+ years of expertise
in secure SoC architecture, hardware security, and cryptographic implementations.
Specialized in ARM/RISC-V security subsystems, side-channel countermeasures, and
post-quantum cryptography. 4 silicon tape-outs, CAVP-certified security IPs.