LASHED: LLMs And Static Hardware Analysis for Early Detection of RTL Bugs
Authors: Baleegh Ahmad, Hammond Pearce, Ramesh Karri, Benjamin Tan | Published: 2025-04-30
Vulnerability detection
Automated Static Vulnerability Detection via a Holistic Neuro-symbolic Approach
Authors: Penghui Li, Songchen Yao, Josef Sarfati Korich, Changhua Luo, Jianjia Yu, Yinzhi Cao, Junfeng Yang | Published: 2025-04-22 | Updated: 2025-04-23
SOSecure: Safer Code Generation with RAG and StackOverflow Discussions
Authors: Manisha Mukherjee, Vincent J. Hellendoorn | Published: 2025-03-17
Benchmarking LLMs and LLM-based Agents in Practical Vulnerability Detection for Code Repositories
Authors: Alperen Yildiz, Sin G. Teo, Yiling Lou, Yebo Feng, Chong Wang, Dinil M. Divakaran | Published: 2025-03-05 | Updated: 2025-03-18
From Vulnerabilities to Remediation: A Systematic Literature Review of LLMs in Code Security
Authors: Enna Basic, Alberto Giaretta | Published: 2024-12-19 | Updated: 2025-04-14
How Far Have We Gone in Vulnerability Detection Using Large Language Models
Authors: Zeyu Gao, Hao Wang, Yuchen Zhou, Wenyu Zhu, Chao Zhang | Published: 2023-11-21 | Updated: 2023-12-22
LLM for SoC Security: A Paradigm Shift
Authors: Dipayan Saha, Shams Tarek, Katayoon Yahyaei, Sujan Kumar Saha, Jingbo Zhou, Mark Tehranipoor, Farimah Farahmandi | Published: 2023-10-09
Low-Resource Languages Jailbreak GPT-4
Authors: Zheng-Xin Yong, Cristina Menghini, Stephen H. Bach | Published: 2023-10-03 | Updated: 2024-01-27
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
Authors: Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Haijun Wang, Zhengzi Xu, Xiaofei Xie, Yang Liu | Published: 2023-08-07 | Updated: 2024-05-06
Exploiting Code Symmetries for Learning Program Semantics
Authors: Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana | Published: 2023-08-07 | Updated: 2024-09-08