Concepedia

Rahul Kande

RK

7

Publications

152

Citations

7

H-Index

2021

Active since

Affiliations

Texas A&M University(Current)

Technical University of Darmstadt

University of Calgary

New York University

UNSW Sydney

Rahul Kande is an author at Texas A&M University specializing in formal methods, hardware security, and computer engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisFormal VerificationComputer EngineeringHardware Verification Languages

Publications per year

2021–2024

7

Publications

7

(Security) Assertions by Large Language Models

Rahul Kande, Hammond Pearce, Benjamin Tan et al. · IEEE Transactions on Information Forensics and Security · 2024 · 52 citations · Full text

Program Checking, Engineering, Verification +23

TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities

Aakash Tyagi, Addison Crump, Ahmad‐Reza Sadeghi et al. · arXiv (Cornell University) · 2022 · 37 citations · Full text

Software Maintenance, Engineering, Novel Hardware Fuzzer +23

(Security) Assertions by Large Language Models

Rahul Kande, Hammond Pearce, Benjamin Tan et al. · arXiv (Cornell University) · 2023 · 20 citations · Full text

Program Checking, Engineering, Verification +23

PSOFuzz: Fuzzing Processors with Particle Swarm Optimization

Chen Chen, Vasudev Gohil, Rahul Kande et al. · 2023 · 12 citations

Beyond Random Inputs: A Novel ML-Based Hardware Fuzzing

Mohamadreza Rostami, Marco Chilese, Shaza Zeitouni et al. · 2024 · 11 citations

Rows per page

1–5 of 7