SymbFuzz: Symbolic Execution Guided Hardware Fuzzing
Symbolic execution guided hardware fuzzing for deeper vulnerability detection in hardware designs.
samit-shahnawaz-miftah
🔐James Hyunmin Kim
(he/him)
Senior SoC Architect & Hardware Security Expert
Professional Summary
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.
Education
Ph.D. in Electrical Engineering
2013-03-01
2017-12-31
KU Leuven, imec-COSIC (Belgium)
M.Sc. in Information Security and Applied Cryptographic Engineering
2009-03-01
2011-08-31
Korea University (South Korea)
Interests
Post-Quantum Cryptography
Side-Channel Analysis & Countermeasures
Secure SoC Architecture
Hardware Root of Trust
Trusted Execution Environments
Formal Verification of Security Properties
Research Focus
My research bridges the gap between theoretical cryptography and silicon-level implementation, with a focus on building verifiably secure hardware systems for the post-quantum era.
Current research areas:
- Hardware-Enforced Trust Chains — Formal verification of secure boot and key management using SMT solvers, with ML-based runtime validation
- Post-Quantum Cryptography Hardware — PQC IP development and vulnerability analysis in ARM TrustZone TEEs
- Side-Channel Secure Design — From balanced circuit methodologies (3P-DyCML, STBC) to SCA-aware synthesis flows
- Hardware Security Verification — Fuzzing-based frameworks (InterConFuzz, SymbFuzz) and LLM-powered assertion optimization for hardware validation
Featured Publications
•
•
1 min read
InterConFuzz: A Fuzzing-based Comprehensive NoC Verification Framework
Fuzzing-based verification framework for Network-on-Chip security and functional validation.
samit-shahnawaz-miftah
SMART DShot: Secure Machine-Learning-Based Adaptive Real-Time Timing Correction
ML-powered bidirectional DShot protocol with FPGA-based neural network for real-time ESC timing correction.
Three Phase Dynamic Current Mode Logic: A More Secure DyCML to Achieve a More Balanced Power Consumption
Three-phase DyCML design for balanced power consumption and enhanced side-channel resistance. **Best Paper Award.**
Recent Publications
(2025).
SymbFuzz: Symbolic Execution Guided Hardware Fuzzing.
MICRO 2025.
(2025).
InterConFuzz: A Fuzzing-based Comprehensive NoC Verification Framework.
DAC 2025.
(2025).
SMART DShot: Secure Machine-Learning-Based Adaptive Real-Time Timing Correction.
Applied Science.
(2025).
PoSyn: A Graphical Approach Towards Side-Channel Aware Synthesis.
IEEE TVLSI (Under Review).
(2024).
Assert-O: Context-based Assertion Optimization using LLMs.
GLSVLSI 2024.
Recent News