Search papers, labs, and topics across Lattice.
This paper systematically analyzes security verification techniques in System-on-Chip (SoC) designs through insights gained from hardware hacking competitions. By employing a multi-strategy vulnerability analysis methodology that integrates simulation-based verification, formal verification, lint analysis, LLM-assisted bug detection, and coverage-guided hybrid fuzzing, the authors reveal how these diverse approaches uncover complementary classes of security vulnerabilities. The findings underscore the importance of competition benchmarks in enhancing reproducibility and guiding future research in hardware security verification.
Hardware hacking competitions reveal that combining diverse verification techniques can uncover a broader spectrum of vulnerabilities in SoC designs than previously thought.
Hardware hacking competitions have emerged as practical platforms for evaluating security weaknesses in complex System-on-Chip (SoC) designs while promoting security-aware verification and tool development. This paper presents a systematic study of SoC security verification through open-box hardware hacking competitions, focusing on practical vulnerability analysis strategies, observed findings, and lessons for security-aware verification. We present a multi-strategy vulnerability analysis methodology, combining simulation-based verification, formal verification, lint analysis, Large Language Model (LLM)-assisted bug detection, and coverage-guided hybrid fuzzing. Representative vulnerability findings are analyzed to illustrate how different techniques expose complementary classes of security flaws, and we derive practical lessons for pre-silicon security verification. Finally, we discuss how competition benchmarks can support the reproducible evaluation of emerging hardware security techniques and guide future security-aware EDA research.
