37 citations · 39 across the 2 of their papers we have counts for
2 papers
cs.CR2022★ 37 cited
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities
Aakash Tyagi, Addison Crump, Ahmad-Reza Sadeghi +4
The increasing complexity of modern processors poses many challenges to existing hardware verification tools and methodologies for detecting security-critical bugs. Recent attacks…
cs.CR2018★ 2 cited
When a Patch is Not Enough - HardFails: Software-Exploitable Hardware Bugs
Ghada Dessouky, David Gens, Patrick Haney +6
In this paper, we take a deep dive into microarchitectural security from a hardware designer's perspective by reviewing the existing approaches to detect hardware vulnerabilities d…