A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

24 May 2023

Papers citing "A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification"

33 / 33 papers shown

Title
Using ML filters to help automated vulnerability repairs: when it helps and when it doesn't Maria Camporese Fabio Massacci 19 0 0 09 Apr 2025
Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview Norbert Tihanyi Tamás Bisztray M. Ferrag Bilel Cherif Richard A. Dubniczky Ridhi Jain Lucas C. Cordeiro 33 0 0 13 Mar 2025
CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection Richard A. Dubniczky Krisztofer Zoltán Horvát Tamás Bisztray M. Ferrag Lucas C. Cordeiro Norbert Tihanyi 40 1 0 12 Mar 2025
SoK: Towards Effective Automated Vulnerability Repair Ying Li Faysal hossain shezan Bomin wei Gang Wang Yuan Tian 109 1 0 31 Jan 2025
Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs Jan Corazza I. Gavran Gabriela Moreira Daniel Neider 84 0 0 22 Jan 2025
Think Thrice Before You Act: Progressive Thought Refinement in Large Language Models Chengyu Du Jinyi Han Yizhou Ying Aili Chen Qianyu He ... Haoran Guo Jiaqing Liang Zulong Chen Liangyue Li Yanghua Xiao KELM CLL LRM 25 1 0 17 Oct 2024
PromSec: Prompt Optimization for Secure Generation of Functional Source Code with Large Language Models (LLMs) Mahmoud Nazzal Issa Khalil Abdallah Khreishah NhatHai Phan AAML 22 5 0 19 Sep 2024
Enhancing Source Code Security with LLMs: Demystifying The Challenges and Generating Reliable Repairs Nafis Tanveer Islam Joseph Khoury Andrew Seong E. Bou-Harb Peyman Najafirad AAML 18 0 0 01 Sep 2024
Outside the Comfort Zone: Analysing LLM Capabilities in Software Vulnerability Detection Yuejun Guo Constantinos Patsakis Qiang Hu Qiang Tang Fran Casino 16 2 0 29 Aug 2024
Towards Large Language Model Aided Program Refinement YuFan Cai Zhe Hou Xiaokun Luan David Miguel Sanan Baena Yun Lin Jun Sun Jin Song Dong 25 0 0 26 Jun 2024
When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMs Ryo Kamoi Yusen Zhang Nan Zhang Jiawei Han Rui Zhang LRM 40 19 0 03 Jun 2024
Automated Repair of AI Code with Large Language Models and Formal Verification Yiannis Charalambous Edoardo Manino Lucas C. Cordeiro 19 2 0 14 May 2024
Large Language Models for Cyber Security: A Systematic Literature Review HanXiang Xu Shenao Wang Ningke Li Kailong Wang Yanjie Zhao Kai Chen Ting Yu Yang Liu Haoyu Wang 23 23 0 08 May 2024
LLMs in Web Development: Evaluating LLM-Generated PHP Code Unveiling Vulnerabilities and Limitations Rebeka Tóth Tamas Bisztray László Erdodi SILM 17 15 0 21 Apr 2024
Learning From Correctness Without Prompting Makes LLM Efficient Reasoner Yuxuan Yao Han Wu Zhijiang Guo Biyan Zhou Jiahui Gao Sichun Luo Hanxu Hou Xiaojin Fu Linqi Song LLMAG LRM 40 9 0 28 Mar 2024
CyberMetric: A Benchmark Dataset based on Retrieval-Augmented Generation for Evaluating LLMs in Cybersecurity Knowledge Norbert Tihanyi M. Ferrag Ridhi Jain Tamás Bisztray Merouane Debbah ELM 19 18 0 12 Feb 2024
Large Language Models in Cybersecurity: State-of-the-Art Farzad Nourmohammadzadeh Motlagh Mehrdad Hajizadeh Mehryar Majd Pejman Najafi Feng Cheng Christoph Meinel ELM 39 37 0 30 Jan 2024
LLM-Powered Code Vulnerability Repair with Reinforcement Learning and Semantic Reward Nafis Tanveer Islam Joseph Khoury Andrew Seong Mohammad Bahrami Karkevandi G. Parra E. Bou-Harb Peyman Najafirad AAML 41 12 0 07 Jan 2024
Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach Jing-Bing Yang Ying Wang 17 5 0 28 Dec 2023
KEN: Kernel Extensions using Natural Language Yusheng Zheng Yiwei Yang Maolin Chen Andrew Quinn 8 0 0 09 Dec 2023
The Falcon Series of Open Language Models Ebtesam Almazrouei Hamza Alobeidli Abdulaziz Alshamsi Alessandro Cappelli Ruxandra-Aimée Cojocaru ... Quentin Malartic Daniele Mazzotta Badreddine Noune B. Pannier Guilherme Penedo AI4TS ALM 110 389 0 28 Nov 2023
Clover: Closed-Loop Verifiable Code Generation Chuyue Sun Ying Sheng Oded Padon Clark W. Barrett OffRL ALM 23 28 0 26 Oct 2023
LUNA: A Model-Based Universal Analysis Framework for Large Language Models Da Song Xuan Xie Jiayang Song Derui Zhu Yuheng Huang Felix Juefei Xu Lei Ma ALM 19 1 0 22 Oct 2023
Lemur: Integrating Large Language Models in Automated Program Verification Haoze Wu Clark W. Barrett Nina Narodytska LRM 28 27 0 07 Oct 2023
ZeroLeak: Using LLMs for Scalable and Cost Effective Side-Channel Patching M. Tol B. Sunar 14 5 0 24 Aug 2023
Large Language Models for Software Engineering: A Systematic Literature Review Xinying Hou Yanjie Zhao Yue Liu Zhou Yang Kailong Wang Li Li Xiapu Luo David Lo John C. Grundy Haoyu Wang 25 320 0 21 Aug 2023
Leveraging Large Language Models for DRL-Based Anti-Jamming Strategies in Zero Touch Networks A. S. Ali D. Manias Abdallah Shami Sami Muhaidat 14 0 0 18 Aug 2023
Automatically Correcting Large Language Models: Surveying the landscape of diverse self-correction strategies Liangming Pan Michael Stephen Saxon Wenda Xu Deepak Nathani Xinyi Wang William Yang Wang KELM LRM 25 200 0 06 Aug 2023
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification Norbert Tihanyi Tamás Bisztray Ridhi Jain M. Ferrag Lucas C. Cordeiro Vasileios Mavroeidis 19 37 0 05 Jul 2023
Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation Jiawei Liu Chun Xia Yuyao Wang Lingming Zhang ELM ALM 172 388 0 02 May 2023
Measuring Coding Challenge Competence With APPS Dan Hendrycks Steven Basart Saurav Kadavath Mantas Mazeika Akul Arora ... Collin Burns Samir Puranik Horace He D. Song Jacob Steinhardt ELM AIMat ALM 192 614 0 20 May 2021
CURE: Code-Aware Neural Machine Translation for Automatic Program Repair Nan Jiang Thibaud Lutellier Lin Tan NAI 123 233 0 26 Feb 2021
CodeXGLUE: A Machine Learning Benchmark Dataset for Code Understanding and Generation Shuai Lu Daya Guo Shuo Ren Junjie Huang Alexey Svyatkovskiy ... Nan Duan Neel Sundaresan Shao Kun Deng Shengyu Fu Shujie Liu ELM 190 853 0 09 Feb 2021