Ramesh Karri

MARVEL: Multi-Agent RTL Vulnerability Extraction using Large Language Models

Binary Diff Summarization using Large Language Models

From Trace to Line: LLM Agent for Real-World OSS Vulnerability Localization

CRAKEN: Cybersecurity LLM Agent with Knowledge-Based Execution

VeriLoC: Line-of-Code Level Prediction of Hardware Design Quality from Verilog Code

EnIGMA: Interactive Tools Substantially Assist LM Agents in Finding Security Vulnerabilities