TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities presented at USENIX Security 2022
by Rahul Kande, Addison Persyn,
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.