Cover Image

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Metere, Alfredo
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security Artificial Intelligence Multiagent Systems Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

LLM-Agent-UMF: LLM-based Agent Unified Modeling Framework for Seamless Design of Multi Active/Passive Core-Agent Architectures
by: Hassouna, Amine Ben, et al.
Published: (2024)

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

Operationalising Artificial Intelligence Bills of Materials (AIBOMs) for Verifiable AI Provenance and Lifecycle Assurance
by: Radanliev, Petar, et al.
Published: (2026)

AI-Driven Adaptive Adversaries and the Erosion of Cryptographic Trust in Public Key Systems
by: Radanliev, Petar
Published: (2026)

ClawWorm: Self-Propagating Attacks Across LLM Agent Ecosystems
by: Zhang, Yihao, et al.
Published: (2026)

Extending the OWASP Multi-Agentic System Threat Modeling Guide: Insights from Multi-Agent Security Research
by: Krawiecka, Klaudia, et al.
Published: (2025)

Collaborative penetration testing suite for emerging generative AI algorithms
by: Radanliev, Petar
Published: (2025)

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

AgenticCyOps: Securing Multi-Agentic AI Integration in Enterprise Cyber Operations
by: Mitra, Shaswata, et al.
Published: (2026)

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

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

The Art of Building Verifiers for Computer Use Agents
by: Rosset, Corby, et al.
Published: (2026)

Governed Evolution of Agent Runtimes through Executable Operational Cognition
by: Garralda-Barrio, Mariano
Published: (2026)

Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agents
by: Bhardwaj, Varun Pratap
Published: (2026)

INDICT: Code Generation with Internal Dialogues of Critiques for Both Security and Helpfulness
by: Le, Hung, et al.
Published: (2024)

SentinelAgent: Intent-Verified Delegation Chains for Securing Federal Multi-Agent AI Systems
by: Patil, KrishnaSaiReddy
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)

From Agent Loops to Deterministic Graphs: Execution Lineage for Reproducible AI-Native Work
by: Rosen, Josh, et al.
Published: (2026)

Towards Agentic Runtime Healing
by: Sun, Zhensu, et al.
Published: (2024)

When Safe Skills Collide: Measuring Compositional Risk in Agent Skill Ecosystems
by: Wang, Su, et al.
Published: (2026)

SBOMs into Agentic AIBOMs: Schema Extensions, Agentic Orchestration, and Reproducibility Evaluation
by: Radanliev, Petar, et al.
Published: (2026)

Facilitating Trustworthy Human-Agent Collaboration in LLM-based Multi-Agent System oriented Software Engineering
by: Ronanki, Krishna
Published: (2025)

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

AdaptiveGuard: Towards Adaptive Runtime Safety for LLM-Powered Software
by: Yang, Rui, et al.
Published: (2025)

Zero-Permission Manipulation: Can We Trust Large Multimodal Model Powered GUI Agents?
by: Qian, Yi, et al.
Published: (2026)

Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development
by: Koch, Christopher
Published: (2026)

ContraFix: Agentic Vulnerability Repair via Differential Runtime Evidence and Skill Reuse
by: Liu, Simiao, et al.
Published: (2026)

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

Beyond Trusting Trust: Multi-Model Validation for Robust Code Generation
by: McDanel, Bradley
Published: (2025)

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

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

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

SemAgent: A Semantics Aware Program Repair Agent
by: Pabba, Anvith, et al.
Published: (2025)

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

Modality-Native Routing in Agent-to-Agent Networks: A Multimodal A2A Protocol Extension
by: Srinivasan, Vasundra
Published: (2026)

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

Agent Capability Negotiation and Binding Protocol (ACNBP)
by: Huang, Ken, et al.
Published: (2025)

Attack the Messages, Not the Agents: A Multi-round Adaptive Stealthy Tampering Framework for LLM-MAS
by: Yan, Bingyu, et al.
Published: (2025)