Image de couverture de livre

BaxBench: Can LLMs Generate Correct and Secure Backends?

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Vero, Mark, Mündler, Niels, Chibotaru, Victor, Raychev, Veselin, Baader, Maximilian, Jovanović, Nikola, He, Jingxuan, Vechev, Martin
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security Artificial Intelligence Machine Learning Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

AutoBaxBuilder: Bootstrapping Code Security Benchmarking
par: von Arx, Tobias, et autres
Publié: (2025)

SecPI: Secure Code Generation with Reasoning Models via Security Reasoning Internalization
par: Wang, Hao, et autres
Publié: (2026)

Black-Box Adversarial Attacks on LLM-Based Code Completion
par: Jenko, Slobodan, et autres
Publié: (2024)

DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models
par: Berabi, Berkay, et autres
Publié: (2024)

Ward: Provable RAG Dataset Inference via LLM Watermarks
par: Jovanović, Nikola, et autres
Publié: (2024)

Instruction Tuning for Secure Code Generation
par: He, Jingxuan, et autres
Publié: (2024)

CodeTaste: Can LLMs Generate Human-Level Code Refactorings?
par: Thillen, Alex, et autres
Publié: (2026)

Towards Watermarking of Open-Source LLMs
par: Gloaguen, Thibaud, et autres
Publié: (2025)

Exploiting LLM Quantization
par: Egashira, Kazuki, et autres
Publié: (2024)

Mind the Gap: A Practical Attack on GGUF Quantization
par: Egashira, Kazuki, et autres
Publié: (2025)

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

Watermark Stealing in Large Language Models
par: Jovanović, Nikola, et autres
Publié: (2024)

Every Bit, Everywhere, All at Once: A Binomial Multibit LLM Watermark
par: Gloaguen, Thibaud, et autres
Publié: (2026)

LLM Fingerprinting via Semantically Conditioned Watermarks
par: Gloaguen, Thibaud, et autres
Publié: (2025)

Black-Box Detection of Language Model Watermarks
par: Gloaguen, Thibaud, et autres
Publié: (2024)

Watch your steps: Dormant Adversarial Behaviors that Activate upon LLM Finetuning
par: Gloaguen, Thibaud, et autres
Publié: (2025)

Discovering Spoofing Attempts on Language Model Watermarks
par: Gloaguen, Thibaud, et autres
Publié: (2024)

Watermarking Diffusion Language Models
par: Gloaguen, Thibaud, et autres
Publié: (2025)

A Unified Framework for LLM Watermarks
par: Gloaguen, Thibaud, et autres
Publié: (2026)

Evaluating AGENTS.md: Are Repository-Level Context Files Helpful for Coding Agents?
par: Gloaguen, Thibaud, et autres
Publié: (2026)

Coding Agents Don't Know When to Act
par: Gloaguen, Thibaud, et autres
Publié: (2026)

Pay Attention to the Triggers: Constructing Backdoors That Survive Distillation
par: De Muri, Giovanni, et autres
Publié: (2025)

Evading Data Contamination Detection for Language Models is (too) Easy
par: Dekoninck, Jasper, et autres
Publié: (2024)

Hiding in Plain Sight: Disguising Data Stealing Attacks in Federated Learning
par: Garov, Kostadin, et autres
Publié: (2023)

Fewer Weights, More Problems: A Practical Attack on LLM Pruning
par: Egashira, Kazuki, et autres
Publié: (2025)

Large Language Models are Advanced Anonymizers
par: Staab, Robin, et autres
Publié: (2024)

SPEAR:Exact Gradient Inversion of Batches in Federated Learning
par: Dimitrov, Dimitar I., et autres
Publié: (2024)

SoK: Data Minimization in Machine Learning
par: Staab, Robin, et autres
Publié: (2025)

SPEAR++: Scaling Gradient Inversion via Sparsely-Used Dictionary Learning
par: Bakarsky, Alexander, et autres
Publié: (2025)

Honeyval: A Comprehensive Evaluation Framework for LLM-powered HTTP Honeypots
par: Vero, Mark, et autres
Publié: (2026)

Watermarking Autoregressive Image Generation
par: Jovanović, Nikola, et autres
Publié: (2025)

CommandSans: Securing AI Agents with Surgical Precision Prompt Sanitization
par: Das, Debeshee, et autres
Publié: (2025)

Can Developers rely on LLMs for Secure IaC Development?
par: Firouzi, Ehsan, et autres
Publié: (2026)

SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents
par: Mündler, Niels, et autres
Publié: (2024)

Can LLMs Patch Security Issues?
par: Alrashedy, Kamel, et autres
Publié: (2023)

Secure Wi-Fi Ranging Today: Security and Adoption of IEEE 802.11az/bk
par: Antonijević, Nikola, et autres
Publié: (2026)

Large-Scale Security Analysis of Real-World Backend Deployments Speaking IoT-Focused Protocols
par: Tagliaro, Carlotta, et autres
Publié: (2024)

LLMs, You Can Evaluate It! Design of Multi-perspective Report Evaluation for Security Operation Centers
par: Okada, Hiroyuki, et autres
Publié: (2026)

Dynaseal: A Backend-Controlled LLM API Key Distribution Scheme with Constrained Invocation Parameters
par: Zhao, Jiahao, et autres
Publié: (2024)

HardSecBench: Benchmarking the Security Awareness of LLMs for Hardware Code Generation
par: Chen, Qirui, et autres
Publié: (2026)