37 citations · 37 across the 1 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
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
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…