Imagen de Portada

Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Hong, Yining, She, Yining, Kang, Eunsuk, Timperley, Christopher S., Kästner, Christian
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering Artificial Intelligence Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

FASR: Automated Identification of Unsafe Control Actions in STPA
por: Dardik, Ian, et al.
Publicado: (2026)

From Hazard Identification to Controller Design: Proactive and LLM-Supported Safety Engineering for ML-Powered Systems
por: Hong, Yining, et al.
Publicado: (2025)

120 Domain-Specific Languages for Security
por: Krausz, Markus, et al.
Publicado: (2024)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
por: Mohamad, Mazen
Publicado: (2025)

FairSense: Long-Term Fairness Analysis of ML-Enabled Systems
por: She, Yining, et al.
Publicado: (2025)

Pinning Is Futile: You Need More Than Local Dependency Versioning to Defend against Supply Chain Attacks
por: He, Hao, et al.
Publicado: (2025)

Multi-Agent Taint Specification Extraction for Vulnerability Detection
por: Ghebremichael, Jonah, et al.
Publicado: (2026)

Guardrails as Infrastructure: Policy-First Control for Tool-Orchestrated Workflows
por: Sigdel, Akshey, et al.
Publicado: (2026)

Managing Security Evidence in Safety-Critical Organizations
por: Mohamad, Mazen, et al.
Publicado: (2024)

Towards Verifiably Safe Tool Use for LLM Agents
por: Doshi, Aarya, et al.
Publicado: (2026)

How to Secure Existing C and C++ Software without Memory Safety
por: Erlingsson, Úlfar
Publicado: (2025)

VulKey: Automated Vulnerability Repair Guided by Domain-Specific Repair Patterns
por: Li, Jia, et al.
Publicado: (2026)

Six Million (Suspected) Fake Stars in GitHub: A Growing Spiral of Popularity Contests, Spams, and Malware
por: He, Hao, et al.
Publicado: (2024)

VulInstruct: Teaching LLMs Root-Cause Reasoning for Vulnerability Detection via Security Specifications
por: Zhu, Hao, et al.
Publicado: (2025)

In Specs we Trust? Conformance-Analysis of Implementation to Specifications in Node-RED and Associated Security Risks
por: Schneider, Simon, et al.
Publicado: (2025)

SkillProbe: Security Auditing for Emerging Agent Skill Marketplaces via Multi-Agent Collaboration
por: Guo, Zihan, et al.
Publicado: (2026)

Containment Verification: AI Safety Guarantees Independent of Alignment
por: Moon, Royce, et al.
Publicado: (2026)

Bridging Safety and Security in Complex Systems: A Model-Based Approach with SAFT-GT Toolchain
por: Pekaric, Irdin, et al.
Publicado: (2026)

From LLMs to Agents: A Comparative Evaluation of LLMs and LLM-based Agents in Security Patch Detection
por: Han, Junxiao, et al.
Publicado: (2025)

SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
por: Hu, Qi, et al.
Publicado: (2026)

ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
por: Xie, Yuchong, et al.
Publicado: (2025)

An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security
por: Boltz, Nicolas, et al.
Publicado: (2024)

From Generalist to Specialist: Exploring CWE-Specific Vulnerability Detection
por: Atiiq, Syafiq Al, et al.
Publicado: (2024)

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
por: Gleirscher, Mario, et al.
Publicado: (2020)

Who Tests the Testers? Systematic Enumeration and Coverage Audit of LLM Agent Tool Call Safety
por: Chen, Xuan, et al.
Publicado: (2026)

Security Is Relative: Training-Free Vulnerability Detection via Multi-Agent Behavioral Contract Synthesis
por: Wang, Yongchao, et al.
Publicado: (2026)

An Ontology-Based Approach to Security Risk Identification of Container Deployments in OT Contexts
por: Landeck, Yannick, et al.
Publicado: (2026)

An Empirical Study on Oculus Virtual Reality Applications: Security and Privacy Perspectives
por: Guo, Hanyang, et al.
Publicado: (2024)

QASecClaw: A Multi-Agent LLM Approach for False Positive Reduction in Static Application Security Testing
por: Ameen, Mohd Ruhul, et al.
Publicado: (2026)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
por: Cloosters, Tobias, et al.
Publicado: (2026)

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis
por: Shafiuzzaman, Md, et al.
Publicado: (2024)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
por: Shafiuzzaman, Md, et al.
Publicado: (2026)

Security study based on the Chatgptplugin system: ldentifying Security Vulnerabilities
por: Ren, Ruomai
Publicado: (2025)

Leveraging Security Observability to Strengthen Security of Digital Ecosystem Architecture
por: Ramachandran, Renjith
Publicado: (2024)

Security Incentivization: An Empirical Study of how Micropayments Impact Code Security
por: Rass, Stefan, et al.
Publicado: (2026)

Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
por: Ma, Chengyan, et al.
Publicado: (2026)

HarnessAgent: Scaling Automatic Fuzzing Harness Construction with Tool-Augmented LLM Pipelines
por: Yang, Kang, et al.
Publicado: (2025)

SoK: Analysis of Software Supply Chain Security by Establishing Secure Design Properties
por: Okafor, Chinenye, et al.
Publicado: (2024)

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

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
por: He, Ningyu, et al.
Publicado: (2024)