Copertina

SecPI: Secure Code Generation with Reasoning Models via Security Reasoning Internalization

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Hao, Mündler, Niels, Vero, Mark, He, Jingxuan, Song, Dawn, Vechev, Martin
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Cryptography and Security Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

AutoBaxBuilder: Bootstrapping Code Security Benchmarking
di: von Arx, Tobias, et al.
Pubblicazione: (2025)

BaxBench: Can LLMs Generate Correct and Secure Backends?
di: Vero, Mark, et al.
Pubblicazione: (2025)

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

Exploiting LLM Quantization
di: Egashira, Kazuki, et al.
Pubblicazione: (2024)

Mind the Gap: A Practical Attack on GGUF Quantization
di: Egashira, Kazuki, et al.
Pubblicazione: (2025)

Every Bit, Everywhere, All at Once: A Binomial Multibit LLM Watermark
di: Gloaguen, Thibaud, et al.
Pubblicazione: (2026)

HardSecBench: Benchmarking the Security Awareness of LLMs for Hardware Code Generation
di: Chen, Qirui, et al.
Pubblicazione: (2026)

Progent: Securing AI Agents with Privilege Control
di: Shi, Tianneng, et al.
Pubblicazione: (2025)

A Framework for Formalizing LLM Agent Security
di: Siu, Vincent, et al.
Pubblicazione: (2026)

Large Language Models for Code: Security Hardening and Adversarial Testing
di: He, Jingxuan, et al.
Pubblicazione: (2023)

Watch your steps: Dormant Adversarial Behaviors that Activate upon LLM Finetuning
di: Gloaguen, Thibaud, et al.
Pubblicazione: (2025)

Secure Tug-of-War (SecTOW): Iterative Defense-Attack Training with Reinforcement Learning for Multimodal Model Security
di: Dai, Muzhi, et al.
Pubblicazione: (2025)

Pay Attention to the Triggers: Constructing Backdoors That Survive Distillation
di: De Muri, Giovanni, et al.
Pubblicazione: (2025)

SecRepoBench: Benchmarking Code Agents for Secure Code Completion in Real-World Repositories
di: Shen, Chihao, et al.
Pubblicazione: (2025)

SecPE: Secure Prompt Ensembling for Private and Robust Large Language Models
di: Zhang, Jiawen, et al.
Pubblicazione: (2025)

Large Language Models are Advanced Anonymizers
di: Staab, Robin, et al.
Pubblicazione: (2024)

Fewer Weights, More Problems: A Practical Attack on LLM Pruning
di: Egashira, Kazuki, et al.
Pubblicazione: (2025)

SecMoE: Communication-Efficient Secure MoE Inference via Select-Then-Compute
di: Shen, Bowen, et al.
Pubblicazione: (2026)

Fortifying LLM-Based Code Generation with Graph-Based Reasoning on Secure Coding Practices
di: Patir, Rupam, et al.
Pubblicazione: (2025)

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

SeCodePLT: A Unified Platform for Evaluating the Security of Code GenAI
di: Nie, Yuzhou, et al.
Pubblicazione: (2024)

SecFSM: Knowledge Graph-Guided Verilog Code Generation for Secure Finite State Machines in Systems-on-Chip
di: Hu, Ziteng, et al.
Pubblicazione: (2025)

Honeyval: A Comprehensive Evaluation Framework for LLM-powered HTTP Honeypots
di: Vero, Mark, et al.
Pubblicazione: (2026)

Meta SecAlign: A Secure Foundation LLM Against Prompt Injection Attacks
di: Chen, Sizhe, et al.
Pubblicazione: (2025)

Information-Dense Reasoning for Efficient and Auditable Security Alert Triage
di: Zhao, Guangze, et al.
Pubblicazione: (2025)

A Mixture of Linear Corrections Generates Secure Code
di: Yu, Weichen, et al.
Pubblicazione: (2025)

ESAA-Security: An Event-Sourced, Verifiable Architecture for Agent-Assisted Security Audits of AI-Generated Code
di: Filho, Elzo Brito dos Santos
Pubblicazione: (2026)

Security of AI Agents
di: He, Yifeng, et al.
Pubblicazione: (2024)

CySecBench: Generative AI-based CyberSecurity-focused Prompt Dataset for Benchmarking Large Language Models
di: Wahréus, Johan, et al.
Pubblicazione: (2025)

CodeBC: A More Secure Large Language Model for Smart Contract Code Generation in Blockchain
di: Wang, Lingxiang, et al.
Pubblicazione: (2025)

Ocassionally Secure: A Comparative Analysis of Code Generation Assistants
di: Elgedawy, Ran, et al.
Pubblicazione: (2024)

Benchmarking Prompt Engineering Techniques for Secure Code Generation with GPT Models
di: Bruni, Marc, et al.
Pubblicazione: (2025)

SecEncoder: Logs are All You Need in Security
di: Bulut, Muhammed Fatih, et al.
Pubblicazione: (2024)

Weakest Link in the Chain: Security Vulnerabilities in Advanced Reasoning Models
di: Krishna, Arjun, et al.
Pubblicazione: (2025)

CTIArena: Benchmarking LLM Knowledge and Reasoning Across Heterogeneous Cyber Threat Intelligence
di: Cheng, Yutong, et al.
Pubblicazione: (2025)

SPEAR: Security Posture Evaluation using AI Planner-Reasoning on Attack-Connectivity Hypergraphs
di: Podder, Rakesh, et al.
Pubblicazione: (2025)

VibeGuard: A Security Gate Framework for AI-Generated Code
di: Xie, Ying
Pubblicazione: (2026)

Investigating Security Implications of Automatically Generated Code on the Software Supply Chain
di: Li, Xiaofan, et al.
Pubblicazione: (2025)

DUALGUAGE: Automated Joint Security-Functionality Benchmarking for Secure Code Generation
di: Pathak, Abhijeet, et al.
Pubblicazione: (2025)