Copertina

Large Language Models for Code: Security Hardening and Adversarial Testing

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	He, Jingxuan, Vechev, Martin
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Cryptography and Security Machine Learning Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Black-Box Adversarial Attacks on LLM-Based Code Completion
di: Jenko, Slobodan, et al.
Pubblicazione: (2024)

DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models
di: Berabi, Berkay, et al.
Pubblicazione: (2024)

Instruction Tuning for Secure Code Generation
di: He, Jingxuan, et al.
Pubblicazione: (2024)

I still know it's you! On Challenges in Anonymizing Source Code
di: Horlboge, Micha, et al.
Pubblicazione: (2022)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
di: Khare, Avishree, et al.
Pubblicazione: (2023)

TOSSS: a CVE-based Software Security Benchmark for Large Language Models
di: Damie, Marc, et al.
Pubblicazione: (2026)

From Solitary Directives to Interactive Encouragement! LLM Secure Code Generation by Natural Language Prompting
di: Liu, Shigang, et al.
Pubblicazione: (2024)

Verify Before You Fix: Agentic Execution Grounding for Trustworthy Cross-Language Code Analysis
di: Gajjar, Jugal
Pubblicazione: (2026)

Inferring Properties of Graph Neural Networks
di: Nguyen, Dat, et al.
Pubblicazione: (2024)

Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models
di: Yang, Aidan Z. H., et al.
Pubblicazione: (2024)

On Trojan Signatures in Large Language Models of Code
di: Hussain, Aftab, et al.
Pubblicazione: (2024)

Assessing the Software Security Comprehension of Large Language Models
di: Siddiq, Mohammed Latif, et al.
Pubblicazione: (2025)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
di: Arquint, Linard, et al.
Pubblicazione: (2025)

Security and Quality in LLM-Generated Code: A Multi-Language, Multi-Model Analysis
di: Kharma, Mohammed, et al.
Pubblicazione: (2025)

UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
di: He, Yifeng, et al.
Pubblicazione: (2024)

CodeAttack: Revealing Safety Generalization Challenges of Large Language Models via Code Completion
di: Ren, Qibing, et al.
Pubblicazione: (2024)

Rethinking the Evaluation of Secure Code Generation
di: Dai, Shih-Chieh, et al.
Pubblicazione: (2025)

Demystifying Invariant Effectiveness for Securing Smart Contracts
di: Chen, Zhiyang, et al.
Pubblicazione: (2024)

LeCov: Multi-level Testing Criteria for Large Language Models
di: Xie, Xuan, et al.
Pubblicazione: (2024)

SecCodePRM: A Process Reward Model for Code Security
di: Yu, Weichen, et al.
Pubblicazione: (2026)

SecureInfer: Heterogeneous TEE-GPU Architecture for Privacy-Critical Tensors for Large Language Model Deployment
di: Nayan, Tushar, et al.
Pubblicazione: (2025)

PurpCode: Reasoning for Safer Code Generation
di: Liu, Jiawei, et al.
Pubblicazione: (2025)

RESCUE: Retrieval Augmented Secure Code Generation
di: Shi, Jiahao, et al.
Pubblicazione: (2025)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
di: Li, Ziyang, et al.
Pubblicazione: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
di: Wang, Claire, et al.
Pubblicazione: (2025)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
di: Hochrainer, Christoph, et al.
Pubblicazione: (2025)

On the Security Vulnerabilities of Text-to-SQL Models
di: Peng, Xutan, et al.
Pubblicazione: (2022)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
di: Tempel, Sören, et al.
Pubblicazione: (2024)

How Secure is Secure Code Generation? Adversarial Prompts Put LLM Defenses to the Test
di: Tessa, Melissa, et al.
Pubblicazione: (2026)

Unintentional Security Flaws in Code: Automated Defense via Root Cause Analysis
di: Islam, Nafis Tanveer, et al.
Pubblicazione: (2024)

Training Language Model Agents to Find Vulnerabilities with CTF-Dojo
di: Zhuo, Terry Yue, et al.
Pubblicazione: (2025)

Security Degradation in Iterative AI Code Generation -- A Systematic Analysis of the Paradox
di: Shukla, Shivani, et al.
Pubblicazione: (2025)

CASCADE: LLM-Powered JavaScript Deobfuscator at Google
di: Jiang, Shan, et al.
Pubblicazione: (2025)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
di: Kong, Ziqiao, et al.
Pubblicazione: (2025)

HexaCoder: Secure Code Generation via Oracle-Guided Synthetic Training Data
di: Hajipour, Hossein, et al.
Pubblicazione: (2024)

On the Adversarial Robustness of Instruction-Tuned Large Language Models for Code
di: Hossen, Md Imran, et al.
Pubblicazione: (2024)

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group
di: Wang, Yayi, et al.
Pubblicazione: (2026)

Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-Procedural Path-Sensitive Taint Analysis
di: Ji, Yuchen, et al.
Pubblicazione: (2025)

Enhancing Cloud Security through Topic Modelling
di: Saleh, Sabbir M., et al.
Pubblicazione: (2025)

Deep Learning Model Security: Threats and Defenses
di: Wang, Tianyang, et al.
Pubblicazione: (2024)