77 citations · 139 across the 10 of their papers we have counts for
4 papers · 1 filter
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…
PSOFuzz: Fuzzing Processors with Particle Swarm Optimization
Chen Chen, Vasudev Gohil, Rahul Kande +2
Hardware security vulnerabilities in computing systems compromise the security defenses of not only the hardware but also the software running on it. Recent research has shown that…
(Security) Assertions by Large Language Models
Rahul Kande, Hammond Pearce, Benjamin Tan +4
The security of computer systems typically relies on a hardware root of trust. As vulnerabilities in hardware can have severe implications on a system, there is a need for techniqu…
HyPFuzz: Formal-Assisted Processor Fuzzing
Chen Chen, Rahul Kande, Nathan Nguyen +4
Recent research has shown that hardware fuzzers can effectively detect security vulnerabilities in modern processors. However, existing hardware fuzzers do not fuzz well the hard-t…