Cover Image

Formalizing the Safety, Security, and Functional Properties of Agentic AI Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Allegrini, Edoardo, Shreekumar, Ananth, Celik, Z. Berkay
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Cryptography and Security Multiagent Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Security Threats in Agentic AI System
by: Khan, Raihan, et al.
Published: (2024)

Formal Policy Enforcement for Real-World Agentic Systems
by: Palumbo, Nils, et al.
Published: (2026)

Governance-Constrained Agentic AI: Blockchain-Enforced Human Oversight for Safety-Critical Wildfire Monitoring
by: Akarma, Ali, et al.
Published: (2026)

Open Challenges in Multi-Agent Security: Towards Secure Systems of Interacting AI Agents
by: de Witt, Christian Schroeder, et al.
Published: (2025)

Architectural Obsolescence of Unhardened Agentic-AI Runtimes
by: Metere, Alfredo
Published: (2026)

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models
by: Saha, Dipayan, et al.
Published: (2025)

SentinelAgent: Intent-Verified Delegation Chains for Securing Federal Multi-Agent AI Systems
by: Patil, KrishnaSaiReddy
Published: (2026)

Protecting Context and Prompts: Deterministic Security for Non-Deterministic AI
by: Rajagopalan, Mohan, et al.
Published: (2026)

The Aegis Protocol: A Foundational Security Framework for Autonomous AI Agents
by: Adapala, Sai Teja Reddy, et al.
Published: (2025)

Digital Identity for Agentic Systems: Toward a Portable Authorization Standard for Autonomous Agents
by: Madhira, Partha
Published: (2026)

A Novel Zero-Trust Identity Framework for Agentic AI: Decentralized Authentication and Fine-Grained Access Control
by: Huang, Ken, et al.
Published: (2025)

Robustness of Agentic AI Systems via Adversarially-Aligned Jacobian Regularization
by: Mumcu, Furkan, et al.
Published: (2026)

Agent Name Service (ANS): A Proof-of-Concept Trust Layer for Secure AI Agent Discovery, Identity, and Governance in Kubernetes
by: Mittal, Akshay, et al.
Published: (2026)

TessPay: Verify-then-Pay Infrastructure for Trusted Agentic Commerce
by: Goenka, Mehul, et al.
Published: (2026)

MAS-Shield: A Defense Framework for Secure and Efficient LLM MAS
by: Wang, Kaixiang, et al.
Published: (2025)

Agents for Agents: An Interrogator-Based Secure Framework for Autonomous Internet of Underwater Things
by: Akarma, Ali, et al.
Published: (2026)

Securing Smart Contract Languages with a Unified Agentic Framework for Vulnerability Repair in Solidity and Move
by: Karanjai, Rabimba, et al.
Published: (2025)

Trusted AI Agents in the Cloud
by: Bodea, Teofil, et al.
Published: (2025)

Practical challenges of control monitoring in frontier AI deployments
by: Lindner, David, et al.
Published: (2025)

Towards Log Analysis with AI Agents: Cowrie Case Study
by: Karaarslan, Enis, et al.
Published: (2025)

Who Owns This Agent? Tracing AI Agents Back to Their Owners
by: Chocron, Ruben, et al.
Published: (2026)

Heartbeat-Bound Hierarchical Credentials: Cryptographic Revocation for AI Agent Swarms
by: Deochake, Saurabh
Published: (2026)

A Call to Action for a Secure-by-Design Generative AI Paradigm
by: Alharthi, Dalal, et al.
Published: (2025)

enclawed: A Configurable, Sector-Neutral Hardening Framework for Single-User AI Assistant Gateways
by: Metere, Alfredo
Published: (2026)

Authenticated Workflows: A Systems Approach to Protecting Agentic AI
by: Rajagopalan, Mohan, et al.
Published: (2026)

Ambient Persuasion in a Deployed AI Agent: Unauthorized Escalation Following Routine Non-Adversarial Content Exposure
by: Cuadros, Diego F., et al.
Published: (2026)

A Vision for Access Control in LLM-based Agent Systems
by: Li, Xinfeng, et al.
Published: (2025)

Web Fraud Attacks Against LLM-Driven Multi-Agent Systems
by: Kong, Dezhang, et al.
Published: (2025)

LegalSim: Multi-Agent Simulation of Legal Systems for Discovering Procedural Exploits
by: Badhe, Sanket
Published: (2025)

Privacy-Utility-Fairness: A Balanced Approach to Vehicular-Traffic Management System
by: Sengupta, Poushali, et al.
Published: (2025)

Prompt Infection: LLM-to-LLM Prompt Injection within Multi-Agent Systems
by: Lee, Donghyun, et al.
Published: (2024)

From Cloud-Native to Trust-Native: A Protocol for Verifiable Multi-Agent Systems
by: Li, Muyang
Published: (2025)

GAMMAF: A Common Framework for Graph-Based Anomaly Monitoring Benchmarking in LLM Multi-Agent Systems
by: Mateo-Torrejón, Pablo, et al.
Published: (2026)

Explainable and Fine-Grained Safeguarding of LLM Multi-Agent Systems via Bi-Level Graph Anomaly Detection
by: Pan, Junjun, et al.
Published: (2025)

Hierarchical Adversarially-Resilient Multi-Agent Reinforcement Learning for Cyber-Physical Systems Security
by: Alqithami, Saad
Published: (2025)

PsySafe: A Comprehensive Framework for Psychological-based Attack, Defense, and Evaluation of Multi-agent System Safety
by: Zhang, Zaibin, et al.
Published: (2024)

Agentic Witnessing: Pragmatic and Scalable TEE-Enabled Privacy-Preserving Auditing
by: Rowstron, Antony
Published: (2026)

Steganography Beyond Space-Time with Chain of Multimodal AI
by: Chang, Ching-Chun, et al.
Published: (2025)

SoK: Security of Autonomous LLM Agents in Agentic Commerce
by: Mao, Qian'ang, et al.
Published: (2026)

MAGIQ: A Post-Quantum Multi-Agentic AI Governance System with Provable Security
by: Avizheh, Sepideh, et al.
Published: (2026)