37 citations · 37 across the 2 of their papers we have counts for
2 papers
cs.CR2023
MABFuzz: Multi-Armed Bandit Algorithms for Fuzzing Processors
Vasudev Gohil, Rahul Kande, Chen Chen +2
As the complexities of processors keep increasing, the task of effectively verifying their integrity and security becomes ever more daunting. The intricate web of instructions, mic…
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…