Publications
2025 Link to heading
Spec2Assertion: Automatic Pre-RTL Assertion Generation Using Large Language Models with Progressive Regularization Link to heading
Fenghua Wu, Evan Pan, Rahul Kande, Michael Quinn, Aakash Tyagi, David Kebo Houngninou, Jeyavijayan Rajendran, Jiang Hu
arXiv preprint, 2025
2024 Link to heading
WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors Link to heading
Pallavi Borkar, Chen Chen, Mohamadreza Rostami, Nikhilesh Singh, Rahul Kande, Ahmad-Reza Sadeghi, Chester Rebeiro, and Jeyavijayan Rajendran
USENIX Security Symposium, 2024 (Acceptance rate: ~18%)
(Security) Assertions by Large Language Models Link to heading
Rahul Kande, Hammond Pearce, Benjamin Tan, Brendan Dolan-Gavitt, Shailja Thakur, Ramesh Karri, and Jeyavijayan Rajendran
IEEE Transactions on Information Forensics and Security, 2024
Fuzzerfly Effect: Hardware Fuzzing for Memory Safety Link to heading
Mohamadreza Rostami, Chen Chen, Rahul Kande, Huimin Li, Jeyavijayan Rajendran, and Ahmad-Reza Sadeghi
IEEE Security & Privacy Special Issue on Memory Safety, 2024
Lost and Found in Speculation: Hybrid Speculative Vulnerability Detection Link to heading
Mohamadreza Rostami, Shaza Zeitouni, Rahul Kande, Chen Chen, Pouya Mahmoody, Jeyavijayan Rajendran, and Ahmad-Reza Sadeghi
Design Automation Conference, 2024
MABFuzz: Multi-Armed Bandit Algorithms for Fuzzing Processors Link to heading
Vasudev Gohil, Rahul Kande, Chen Chen, Ahmad-Reza Sadeghi, and Jeyavijayan Rajendran
Design, Automation and Test in Europe Conference (DATE) 2024
Beyond Random Inputs: A Novel ML-Based Hardware Fuzzing Link to heading
Mohamadreza Rostami, Marco Chilese, Shaza Zeitouni, Rahul Kande, Jeyavijayan Rajendran, and Ahmad-Reza Sadeghi
Design, Automation and Test in Europe Conference (DATE) 2024
2023 Link to heading
PSOFuzz: Fuzzing Processors with Particle Swarm Optimization Link to heading
Chen Chen, Vasudev Gohil, Rahul Kande, Ahmad-Reza Sadeghi, and Jeyavijayan Rajendran
IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2023
HyPFuzz: Formal-Assisted Processor Fuzzing Link to heading
Chen Chen, Rahul Kande, Nathan Nguyen, Flemming Anderson, Aakash Tyagi, Ahmad-Reza Sadeghi, and Jeyavijayan Rajendran
USENIX Security Symposium 2023 (Acceptance rate: 29%)
2022 Link to heading
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities Link to heading
Rahul Kande, Addison Crump, Garrett Persyn, Patrick Jauernig, Ahmad-Reza Sadeghi, Aakash Tyagi, and Jeyavijayan Rajendran
USENIX Security Symposium 2022 (Acceptance rate: 18%)
Trusting the Trust Anchor: Towards Detecting Cross-Layer Vulnerabilities with Hardware Fuzzing Link to heading
Chen Chen, Rahul Kande, Pouya Mahmoody, Ahmad-Reza Sadeghi, and Jeyavijayan Rajendran
ACM/IEEE Design Automation Conference (DAC) 2022
2021 Link to heading
Organizing The World’s Largest Hardware Security Competition: Challenges, Opportunities, and Lessons Learned Link to heading
Ahmad-Reza Sadeghi, Jeyavijayan Rajendran, and Rahul Kande
Great Lakes Symposium on VLSI (GLSVLSI) 2021