Ramesh Karri
- Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions
2021/08/20 by Hammond Pearce, Baleegh Ahmad, Pearce, Hammond +7 · 4 voices · 100 citations
Computer Science · #Advanced Malware Detection Techniques #Software Engineering Research #Software Testing and Debugging Techniques #cs.AI #cs.CR
- Chip-Chat: Challenges and Opportunities in Conversational Hardware Design
2023/05/22 by Jason Blocklove, Siddharth Garg, Ramesh Karri +1 · 3 voices · 21 citations
Computer Science · Engineering · #Advanced Software Engineering Methodologies #Caching and Content Delivery #Modular Robots and Swarm Intelligence
- VeriGen: A Large Language Model for Verilog Code Generation
2023/07/28 by Shailja Thakur, Thakur, Shailja, Baleegh Ahmad +11 · 51 citations
Computer Science · Engineering · Materials Science · #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Machine Learning (cs.LG) #Machine Learning in Materials Science #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- Trustworthy Hardware: Identifying and Classifying Hardware Trojans
2010/10/01 by Ramesh Karri, Jeyavijayan Rajendran, Kurt Rosenfeld +1 · 12 citations
Computer Science · Engineering · Neuroscience · #Physical Unclonable Functions (PUFs) and Hardware Security #Integrated Circuits and Semiconductor Failure Analysis #Neuroscience and Neural Engineering
- Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants
2022/08/20 by Gustavo Sandoval, Hammond Pearce, Sandoval, Gustavo +9 · 20 citations
Computer Science · Medicine · #Artificial Intelligence in Healthcare and Education #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering Research
- An Empirical Evaluation of LLMs for Solving Offensive Security Challenges
2024/02/19 by Minghao Shao, Boyuan Chen, Shao, Minghao +11 · 4 voices · 3 citations
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #cs.CR
- Benchmarking Large Language Models for Automated Verilog RTL Code Generation
2022/12/13 by Shailja Thakur, Baleegh Ahmad, Thakur, Shailja +13 · 20 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
- AutoChip: Automating HDL Generation Using LLM Feedback
2023/11/08 by Shailja Thakur, Thakur, Shailja, Jason Blocklove +9 · 22 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering Research
- NYU CTF Bench: A Scalable Open-Source Benchmark Dataset for Evaluating LLMs in Offensive Security
2024/06/08 by Minghao Shao, Sofija Jancheska, Shao, Minghao +23 · 24 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Machine Learning (cs.LG) #Network Security and Intrusion Detection
- Fault Analysis-Based Logic Encryption
2013/10/01 by Jeyavijayan Rajendran, Huan Zhang, Chi Zhang +4 · 6 citations
Computer Science · Engineering · #Physical Unclonable Functions (PUFs) and Hardware Security #Cryptographic Implementations and Security #Integrated Circuits and Semiconductor Failure Analysis
- Survey of Different Large Language Model Architectures: Trends, Benchmarks, and Challenges
2024/01/01 by Minghao Shao, Abdul Basit, Ramesh Karri +1 · 1 voice · 10 citations
Computer Science · #Topic Modeling #Natural Language Processing Techniques
- EnIGMA: Interactive Tools Substantially Assist LM Agents in Finding Security Vulnerabilities
2024/09/24 by Talor Abramovich, Abramovich, Talor, Meet Udeshi +29 · 14 citations
Decision Sciences · Mathematics · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Modeling, Simulation, and Optimization #Simulation Techniques and Applications
- Trustworthy Hardware: Trojan Detection and Design-for-Trust Challenges
2011/01/03 by Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang +4 · 3 citations
Computer Science · Neuroscience · Engineering · #Physical Unclonable Functions (PUFs) and Hardware Security #Neuroscience and Neural Engineering #Integrated Circuits and Semiconductor Failure Analysis
- Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS
2024/02/05 by Matthew DeLorenzo, DeLorenzo, Matthew, Animesh Basak Chowdhury +11 · 4 citations
Computer Science · Engineering · #Advanced Wireless Communication Techniques #Artificial Intelligence (cs.AI) #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Wireless Communication Networks Research
- Pop Quiz! Can a Large Language Model Help With Reverse Engineering?
2022/02/02 by Hammond Pearce, Pearce, Hammond, Benjamin Tan +9 · 2 citations
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software System Performance and Reliability
- Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization
2024/01/22 by Animesh Basak Chowdhury, Marco Romanelli, Chowdhury, Animesh Basak +7 · 3 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Software Engineering Research
- 3D CAVLA: Leveraging Depth and 3D Context to Generalize Vision Language Action Models for Unseen Tasks
2025/05/09 by Vineet Bhat, Bhat, Vineet, Lan, Yu-Hsiang +6 · 7 citations
Computer Science · Engineering · #Multimodal Machine Learning Applications #Robot Manipulation and Learning #Advanced Neural Network Applications
- C2HLSC: Leveraging Large Language Models to Bridge the Software-to-Hardware Design Gap
2024/11/29 by Luca Collini, Collini, Luca, Siddharth Garg +3 · 4 citations
Computer Science · Decision Sciences · #Parallel Computing and Optimization Techniques #Topic Modeling #Scientific Computing and Data Management
- LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
2024/06/24 by Jitendra Bhandari, Bhandari, Jitendra, Johann Knechtel +7 · 3 citations
Computer Science · Engineering · #VLSI and Analog Circuit Testing #Real-time simulation and control systems #Parallel Computing and Optimization Techniques
- VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
2025/05/16 by Patrick Yubeaton, Andre Nakkab, Yubeaton, Patrick +11 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- RTL-Breaker: Assessing the Security of LLMs against Backdoor Attacks on HDL Code Generation
2024/11/26 by Lakshmi Likhitha Mankali, Jitendra Bhandari, Mankali, Lakshmi Likhitha +11 · 3 citations
Computer Science · Engineering · #Cryptographic Implementations and Security #Cryptography and Security (cs.CR) #Electrostatic Discharge in Electronics #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Security and Verification in Computing
- D-CIPHER: Dynamic Collaborative Intelligent Multi-Agent System with Planner and Heterogeneous Executors for Offensive Security
2025/02/15 by Meet Udeshi, Minghao Shao, Udeshi, Meet +21 · 5 citations
Computer Science · #Network Security and Intrusion Detection #Multi-Agent Systems and Negotiation #Advanced Malware Detection Techniques
- LASHED: LLMs And Static Hardware Analysis for Early Detection of RTL Bugs
2025/04/30 by Baleegh Ahmad, Hammond Pearce, Ahmad, Baleegh +5 · 2 citations
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing #Software Testing and Debugging Techniques
- Real-Time Multi-Modal Subcomponent-Level Measurements for Trustworthy System Monitoring and Malware Detection
2025/01/22 by Farshad Khorrami, Ramesh Karri, Khorrami, Farshad +3 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Anomaly Detection Techniques and Applications #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Network Security and Intrusion Detection
- CoEvoP&R: Co-Evolving Placement Objectives with Routing Feedback via Large Language Models
2026/07/19 by Ruogu Chen, Weihua Xiao, Ramesh Karri +1
#cs.LG #cs.AI #cs.NE