Rahul Kande

22 papers A* 5A 3Misc 1Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization.
CoRR
Fenghua Wu, Evan Pan, Rahul Kande, Michael Quinn, Aakash Tyagi, David Kebo Houngninou, Jeyavijayan Rajendran, Jiang Hu
2024 J jnl
(Security) Assertions by Large Language Models.
IEEE Trans. Inf. Forensics Secur.
Rahul Kande, Hammond Pearce, Benjamin Tan, Brendan Dolan-Gavitt, Shailja Thakur, Ramesh Karri, Jeyavijayan Rajendran
2024 A conf
Beyond Random Inputs: A Novel ML-Based Hardware Fuzzing.
DATE
Mohamadreza Rostami, Marco Chilese, Shaza Zeitouni, Rahul Kande, Jeyavijayan Rajendran, Ahmad-Reza Sadeghi
2024 J jnl
Beyond Random Inputs: A Novel ML-Based Hardware Fuzzing.
CoRR
Mohamadreza Rostami, Marco Chilese, Shaza Zeitouni, Rahul Kande, Jeyavijayan Rajendran, Ahmad-Reza Sadeghi
2024 J jnl
Fuzzerfly Effect: Hardware Fuzzing for Memory Safety.
CoRR
Mohamadreza Rostami, Chen Chen, Rahul Kande, Huimin Li, Jeyavijayan Rajendran, Ahmad-Reza Sadeghi
2024 J jnl
Fuzzerfly Effect: Hardware Fuzzing for Memory Safety.
IEEE Secur. Priv.
Mohamadreza Rostami, Chen Chen, Rahul Kande, Huimin Li, Jeyavijayan Rajendran, Ahmad-Reza Sadeghi
2024 Misc conf
LLMs for Hardware Security: Boon or Bane?
VTS
Rahul Kande, Vasudev Gohil, Matthew DeLorenzo, Chen Chen, Jeyavijayan Rajendran
2024 A* conf
Lost and Found in Speculation: Hybrid Speculative Vulnerability Detection.
DAC
Mohamadreza Rostami, Shaza Zeitouni, Rahul Kande, Chen Chen, Pouya Mahmoody, Jeyavijayan Rajendran, Ahmad-Reza Sadeghi
2024 J jnl
Lost and Found in Speculation: Hybrid Speculative Vulnerability Detection.
CoRR
Mohamadreza Rostami, Shaza Zeitouni, Rahul Kande, Chen Chen, Pouya Mahmoody, Jeyavijayan Rajendran, Ahmad-Reza Sadeghi
2024 A conf
MABFuzz: Multi-Armed Bandit Algorithms for Fuzzing Processors.
DATE
Vasudev Gohil, Rahul Kande, Chen Chen, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
2024 A* conf
WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors.
USENIX Security Symposium
Pallavi Borkar, Chen Chen, Mohamadreza Rostami, Nikhilesh Singh, Rahul Kande, Ahmad-Reza Sadeghi, Chester Rebeiro, Jeyavijayan Rajendran
2024 J jnl
WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors.
CoRR
Pallavi Borkar, Chen Chen, Mohamadreza Rostami, Nikhilesh Singh, Rahul Kande, Ahmad-Reza Sadeghi, Chester Rebeiro, Jeyavijayan Rajendran
2023 A* conf
HyPFuzz: Formal-Assisted Processor Fuzzing.
USENIX Security Symposium
Chen Chen, Rahul Kande, Nathan Nguyen, Flemming Andersen, Aakash Tyagi, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
2023 J jnl
HyPFuzz: Formal-Assisted Processor Fuzzing.
CoRR
Chen Chen, Rahul Kande, Nathan Nguyen, Flemming Andersen, Aakash Tyagi, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
2023 J jnl
LLM-assisted Generation of Hardware Assertions.
CoRR
Rahul Kande, Hammond Pearce, Benjamin Tan, Brendan Dolan-Gavitt, Shailja Thakur, Ramesh Karri, Jeyavijayan Rajendran
2023 J jnl
MABFuzz: Multi-Armed Bandit Algorithms for Fuzzing Processors.
CoRR
Vasudev Gohil, Rahul Kande, Chen Chen, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
2023 A conf
PSOFuzz: Fuzzing Processors with Particle Swarm Optimization.
ICCAD
Chen Chen, Vasudev Gohil, Rahul Kande, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
2023 J jnl
PSOFuzz: Fuzzing Processors with Particle Swarm Optimization.
CoRR
Chen Chen, Vasudev Gohil, Rahul Kande, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
2022 A* conf
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities.
USENIX Security Symposium
Rahul Kande, Addison Crump, Garrett Persyn, Patrick Jauernig, Ahmad-Reza Sadeghi, Aakash Tyagi, Jeyavijayan Rajendran
2022 J jnl
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities.
CoRR
Aakash Tyagi, Addison Crump, Ahmad-Reza Sadeghi, Garrett Persyn, Jeyavijayan Rajendran, Patrick Jauernig, Rahul Kande
2022 A* conf
Trusting the trust anchor: towards detecting cross-layer vulnerabilities with hardware fuzzing.
DAC
Chen Chen, Rahul Kande, Pouya Mahmoody, Ahmad-Reza Sadeghi, J. V. Rajendran
2021 — conf
Organizing The World's Largest Hardware Security Competition: Challenges, Opportunities, and Lessons Learned.
ACM Great Lakes Symposium on VLSI
Ahmad-Reza Sadeghi, Jeyavijayan Rajendran, Rahul Kande