TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities presented at USENIX Security 2022

by Rahul Kande, Addison Persyn,

Tags: Fuzzing III

URL : https://www.usenix.org/system/files/sec22-kande.pdf

Summary : The increasing complexity of modern processors poses many challenges to existing hardware verification tools and methodologies for detecting security-critical bugs. Recent attacks on processors have shown the fatal consequences of uncovering and exploiting hardware vulnerabilities.