Buchumschlag

TypePilot: Leveraging the Scala Type System for Secure LLM-generated Code

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sternfeld, Alexander, Kucharavy, Andrei, Dolamic, Ljiljana
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computation and Language Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Minimal Prompt Perturbations Lead to Code Vulnerabilities: Prompt Fragility and Hidden-State Signals in Coding LLMs
von: Sternfeld, Alexander, et al.
Veröffentlicht: (2026)

LLM Detectors Still Fall Short of Real World: Case of LLM-Generated Short News-Like Posts
von: Gameiro, Henrique Da Silva, et al.
Veröffentlicht: (2024)

From Model to Breach: Towards Actionable LLM-Generated Vulnerabilities Reporting
von: Vallez, Cyril, et al.
Veröffentlicht: (2025)

Security Attacks on LLM-based Code Completion Tools
von: Cheng, Wen, et al.
Veröffentlicht: (2024)

SecureLLM: Using Compositionality to Build Provably Secure Language Models for Private, Sensitive, and Secret Data
von: Alabdulkareem, Abdulrahman, et al.
Veröffentlicht: (2024)

SecureForge: Finding and Preventing Vulnerabilities in LLM-Generated Code via Prompt Optimization
von: Liu, Houjun, et al.
Veröffentlicht: (2026)

Efficient Provably Secure Linguistic Steganography via Range Coding
von: Yan, Ruiyi, et al.
Veröffentlicht: (2026)

SMT-Boosted Security Types for Low-Level MPC
von: Skalka, Christian, et al.
Veröffentlicht: (2025)

SecurityLingua: Efficient Defense of LLM Jailbreak Attacks via Security-Aware Prompt Compression
von: Li, Yucheng, et al.
Veröffentlicht: (2025)

DAVE: A Policy-Enforcing LLM Spokesperson for Secure Multi-Document Data Sharing
von: Brinkhege, René, et al.
Veröffentlicht: (2026)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
von: Amorim, Arthur, et al.
Veröffentlicht: (2025)

Beyond Jailbreaks: Revealing Stealthier and Broader LLM Security Risks Stemming from Alignment Failures
von: Zhou, Yukai, et al.
Veröffentlicht: (2025)

Enhancing Security and Strengthening Defenses in Automated Short-Answer Grading Systems
von: Yarmohammadtoosky, Sahar, et al.
Veröffentlicht: (2025)

Getting Your Indices in a Row: Full-Text Search for LLM Training Data for Real World
von: Marinas, Ines Altemir, et al.
Veröffentlicht: (2025)

Sparse vs Contiguous Adversarial Pixel Perturbations in Multimodal Models: An Empirical Analysis
von: Botocan, Cristian-Alexandru, et al.
Veröffentlicht: (2024)

A Type System to Ensure Non-Interference in ReScript
von: Bennetzen, Benjamin, et al.
Veröffentlicht: (2024)

Counterfactual Evaluation for Blind Attack Detection in LLM-based Evaluation Systems
von: Liu, Lijia, et al.
Veröffentlicht: (2025)

Graphene: Infrastructure Security Posture Analysis with AI-generated Attack Graphs
von: Jin, Xin, et al.
Veröffentlicht: (2023)

ProSec: Fortifying Code LLMs with Proactive Security Alignment
von: Xu, Xiangzhe, et al.
Veröffentlicht: (2024)

Shadows in the Code: Exploring the Risks and Defenses of LLM-based Multi-Agent Software Development Systems
von: Wang, Xiaoqing, et al.
Veröffentlicht: (2025)

Adversarial Attacks on LLM-as-a-Judge Systems: Insights from Prompt Injections
von: Maloyan, Narek, et al.
Veröffentlicht: (2025)

Can LLM Infer Risk Information From MCP Server System Logs?
von: Fu, Jiayi, et al.
Veröffentlicht: (2025)

LLM for SoC Security: A Paradigm Shift
von: Saha, Dipayan, et al.
Veröffentlicht: (2023)

CodeCloak: A Method for Evaluating and Mitigating Code Leakage by LLM Code Assistants
von: Noah, Amit Finkman, et al.
Veröffentlicht: (2024)

SafeReview: Defending LLM-based Review Systems Against Adversarial Hidden Prompts
von: Xin, Yuan, et al.
Veröffentlicht: (2026)

Localizing Malicious Outputs from CodeLLM
von: Borana, Mayukh, et al.
Veröffentlicht: (2025)

CoTGuard: Using Chain-of-Thought Triggering for Copyright Protection in Multi-Agent LLM Systems
von: Wen, Yan, et al.
Veröffentlicht: (2025)

Chain-of-Code Collapse: Reasoning Failures in LLMs via Adversarial Prompting in Code Generation
von: Roh, Jaechul, et al.
Veröffentlicht: (2025)

A Content-Preserving Secure Linguistic Steganography
von: Xiang, Lingyun, et al.
Veröffentlicht: (2025)

Provably Secure Disambiguating Neural Linguistic Steganography
von: Qi, Yuang, et al.
Veröffentlicht: (2024)

From Vulnerabilities to Remediation: A Systematic Literature Review of LLMs in Code Security
von: Basic, Enna, et al.
Veröffentlicht: (2024)

Secure Code Generation via Online Reinforcement Learning with Vulnerability Reward Model
von: Wu, Tianyi, et al.
Veröffentlicht: (2026)

Provable Secure Steganography Based on Adaptive Dynamic Sampling
von: Pang, Kaiyi, et al.
Veröffentlicht: (2025)

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
von: Song, Shixin, et al.
Veröffentlicht: (2025)

Towards Reliable and Practical LLM Security Evaluations via Bayesian Modelling
von: Llewellyn, Mary, et al.
Veröffentlicht: (2025)

Robust and Secure Code Watermarking for Large Language Models via ML/Crypto Codesign
von: Zhang, Ruisi, et al.
Veröffentlicht: (2025)

Graded Modal Types for Integrity and Confidentiality
von: Marshall, Danielle, et al.
Veröffentlicht: (2023)

garak: A Framework for Security Probing Large Language Models
von: Derczynski, Leon, et al.
Veröffentlicht: (2024)

AVISE: Framework for Evaluating the Security of AI Systems
von: Lempinen, Mikko, et al.
Veröffentlicht: (2026)

Securing Genomic Data Against Inference Attacks in Federated Learning Environments
von: Pathade, Chetan, et al.
Veröffentlicht: (2025)