Image de couverture de livre

HexaCoder: Secure Code Generation via Oracle-Guided Synthetic Training Data

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hajipour, Hossein, Schönherr, Lea, Holz, Thorsten, Fritz, Mario
Format:	Preprint
Publié:	2024
Sujets:	Cryptography and Security Artificial Intelligence Computation and Language Machine Learning Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Automated Trustworthiness Oracle Generation for Machine Learning Text Classifiers
par: Tung, Lam Nguyen, et autres
Publié: (2024)

SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
par: Su, Jianzhong, et autres
Publié: (2024)

From Solitary Directives to Interactive Encouragement! LLM Secure Code Generation by Natural Language Prompting
par: Liu, Shigang, et autres
Publié: (2024)

Many Tools, Few Exploitable Vulnerabilities: A Survey of 246 Static Code Analyzers for Security
par: Hermann, Kevin, et autres
Publié: (2026)

ProSec: Fortifying Code LLMs with Proactive Security Alignment
par: Xu, Xiangzhe, et autres
Publié: (2024)

Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection
par: Lin, Bo, et autres
Publié: (2025)

Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
par: Peldszus, Sven, et autres
Publié: (2026)

How Secure is Secure Code Generation? Adversarial Prompts Put LLM Defenses to the Test
par: Tessa, Melissa, et autres
Publié: (2026)

PoLLMgraph: Unraveling Hallucinations in Large Language Models via State Transition Dynamics
par: Zhu, Derui, et autres
Publié: (2024)

An Empirical Security Evaluation of LLM-Generated Cryptographic Rust Code
par: Elsayed, Mohamed, et autres
Publié: (2026)

SecureVibeBench: Benchmarking Secure Vibe Coding of AI Agents via Reconstructing Vulnerability-Introducing Scenarios
par: Chen, Junkai, et autres
Publié: (2025)

An Exploratory Study on the Engineering of Security Features
par: Hermann, Kevin, et autres
Publié: (2025)

Exploring the Security Threats of Retriever Backdoors in Retrieval-Augmented Code Generation
par: Li, Tian, et autres
Publié: (2025)

LLM Security Guard for Code
par: Kavian, Arya, et autres
Publié: (2024)

120 Domain-Specific Languages for Security
par: Krausz, Markus, et autres
Publié: (2024)

SAFuzz: Semantic-Guided Adaptive Fuzzing for LLM-Generated Code
par: Yang, Ziyi, et autres
Publié: (2026)

Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation
par: Lin, Bo, et autres
Publié: (2025)

Security Weaknesses of Copilot-Generated Code in GitHub Projects: An Empirical Study
par: Fu, Yujia, et autres
Publié: (2023)

Argus: Reorchestrating Static Analysis via a Multi-Agent Ensemble for Full-Chain Security Vulnerability Detection
par: Liang, Zi, et autres
Publié: (2026)

Does Teaming-Up LLMs Improve Secure Code Generation? A Comprehensive Evaluation with Multi-LLMSecCodeEval
par: Sabir, Bushra, et autres
Publié: (2026)

zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing
par: Fu, Rong, et autres
Publié: (2026)

Security Incentivization: An Empirical Study of how Micropayments Impact Code Security
par: Rass, Stefan, et autres
Publié: (2026)

Demystifying Invariant Effectiveness for Securing Smart Contracts
par: Chen, Zhiyang, et autres
Publié: (2024)

How to Compare the Security of Code Written by Humans to LLM-generated Code
par: Balebako, Rebecca, et autres
Publié: (2026)

SecCodePRM: A Process Reward Model for Code Security
par: Yu, Weichen, et autres
Publié: (2026)

Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
par: Zhang, Yifan, et autres
Publié: (2025)

Secure Coding with AI -- From Detection to Repair
par: Belozerov, Vladislav, et autres
Publié: (2025)

Minimal Prompt Perturbations Lead to Code Vulnerabilities: Prompt Fragility and Hidden-State Signals in Coding LLMs
par: Sternfeld, Alexander, et autres
Publié: (2026)

RealSec-bench: A Benchmark for Evaluating Secure Code Generation in Real-World Repositories
par: Wang, Yanlin, et autres
Publié: (2026)

GenSIaC: Toward Security-Aware Infrastructure-as-Code Generation with Large Language Models
par: Li, Yikun, et autres
Publié: (2025)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
par: Li, Ziyang, et autres
Publié: (2024)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
par: Khare, Avishree, et autres
Publié: (2023)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
par: Wang, Claire, et autres
Publié: (2025)

Large Language Models for Code: Security Hardening and Adversarial Testing
par: He, Jingxuan, et autres
Publié: (2023)

Exploring Security Practices in Infrastructure as Code: An Empirical Study
par: Verdet, Alexandre, et autres
Publié: (2023)

Security Is Relative: Training-Free Vulnerability Detection via Multi-Agent Behavioral Contract Synthesis
par: Wang, Yongchao, et autres
Publié: (2026)

Learning to Generate Secure Code via Token-Level Rewards
par: Quan, Jiazheng, et autres
Publié: (2026)

Detecting Stealthy Data Poisoning Attacks in AI Code Generators
par: Improta, Cristina
Publié: (2025)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
par: Arquint, Linard, et autres
Publié: (2025)

PurpCode: Reasoning for Safer Code Generation
par: Liu, Jiawei, et autres
Publié: (2025)