Cover Image

Formal Analysis and Supply Chain Security for Agentic AI Skills

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Bhardwaj, Varun Pratap
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security Artificial Intelligence Software Engineering 68T42, 68N30, 94A60 D.2.4; D.4.6; I.2.11; K.6.5
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

When the Agent Is the Adversary: Architectural Requirements for Agentic AI Containment After the April 2026 Frontier Model Escape
by: Mitchell, Richard Joseph
Published: (2026)

Unified Framework for Qualifying Security Boundary of PUFs Against Machine Learning Attacks
by: Fei, Hongming, et al.
Published: (2026)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
by: Peyrano, Ignacio
Published: (2026)

One-Shot Secure Aggregation: A Hybrid Cryptographic Protocol for Private Federated Learning in IoT
by: Emmaka, Imraul, et al.
Published: (2025)

The Age of Sensorial Zero Trust: Why We Can No Longer Trust Our Senses
by: Xavier, Fabio Correa
Published: (2025)

Blockchain-Based Secure Online Voting Platform Ensuring Voter Anonymity, Integrity, and End-to-End Verifiability
by: Tahboub, Yousef, et al.
Published: (2025)

Towards Socio-Technical Topology-Aware Adaptive Threat Detection in Software Supply Chains
by: Welsh, Thomas, et al.
Published: (2025)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
by: Marri, Srinivas Rao
Published: (2026)

AIP: Agent Identity Protocol for Verifiable Delegation Across MCP and A2A
by: Prakash, Sunil
Published: (2026)

Evaluating Argon2 Adoption and Effectiveness in Real-World Software
by: Tippe, Pascal, et al.
Published: (2025)

Identity Management for Agentic AI: The new frontier of authorization, authentication, and security for an AI agent world
by: South, Tobin, et al.
Published: (2025)

Adaptive Trust Consensus for Blockchain IoT: Comparing RL, DRL, and MARL Against Naive, Collusive, Adaptive, Byzantine, and Sleeper Attacks
by: Padia, Soham, et al.
Published: (2025)

Security Considerations for Multi-agent Systems
by: Nguyen, Tam, et al.
Published: (2026)

ILION: Deterministic Pre-Execution Safety Gates for Agentic AI Systems
by: Chitan, Florin Adrian
Published: (2026)

A Formal Rebuttal of "The Blockchain Trilemma: A Formal Proof of the Inherent Trade-Offs Among Decentralization, Security, and Scalability"
by: Wright, Craig
Published: (2025)

Securing Agentic AI Systems -- A Multilayer Security Framework
by: Arora, Sunil, et al.
Published: (2025)

zk-Agreements: A Privacy-Preserving Way to Establish Deterministic Trust in Confidential Agreements
by: Liu, To-Wen, et al.
Published: (2025)

Recovering WPA-3 Network Password by Bypassing the Simultaneous Authentication of Equals Handshake using Social Engineering Captive Portal
by: Chadee, Kyle, et al.
Published: (2024)

The Impact of the Russia-Ukraine Conflict on the Cloud Computing Risk Landscape
by: Malikussaid, et al.
Published: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
by: Garcia, Rémi, et al.
Published: (2024)

Quantigence: A Multi-Agent AI Framework for Quantum Security Research
by: Alquwayfili, Abdulmalik
Published: (2025)

Explainable Attention-Based LSTM Framework for Early Detection of AI-Assisted Ransomware via File System Behavioral Analysis
by: Nayak, Prabhudarshi, et al.
Published: (2026)

KYA: A Framework-Agnostic Trust Layer for Autonomous Systems with Verifiable Provenance and Hierarchical Policy Composition
by: Quadri, Kolawole
Published: (2026)

Faramesh: A Protocol-Agnostic Execution Control Plane for Autonomous Agent Systems
by: Fatmi, Amjad
Published: (2026)

Formal Models and Convergence Analysis for Context-Aware Security Verification
by: Chaudhary, Ayush
Published: (2025)

Operationalizing Cybersecurity Governance for Mitigation Planning with Attack-Path Modeling and Reinforcement Learning
by: Huff, Philip, et al.
Published: (2026)

Witnessd: Proof-of-process via Adversarial Collapse
by: Condrey, David
Published: (2026)

Can AI Keep a Secret? Contextual Integrity Verification: A Provable Security Architecture for LLMs
by: Gupta, Aayush
Published: (2025)

HDP: A Lightweight Cryptographic Protocol for Human Delegation Provenance in Agentic AI Systems
by: Dalugoda, Asiri
Published: (2026)

Session Risk Memory (SRM): Temporal Authorization for Deterministic Pre-Execution Safety Gates
by: Chitan, Florin Adrian
Published: (2026)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
by: Iskander, Ray
Published: (2026)

ZTD$_{JAVA}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies
by: Amusuo, Paschal C., et al.
Published: (2023)

Detecting and Mitigating SQL Injection Vulnerabilities in Web Applications
by: Neupane, Sagar
Published: (2025)

Interoperable Architecture for Digital Identity Delegation for AI Agents with Blockchain Integration
by: Saavedra, David Ricardo
Published: (2026)

Unveiling Hidden Threats: Using Fractal Triggers to Boost Stealthiness of Distributed Backdoor Attacks in Federated Learning
by: Wang, Jian, et al.
Published: (2025)

Privacy-preserving and reward-based mechanisms of proof of engagement
by: Montanari, Matteo Marco, et al.
Published: (2025)

AI Bill of Materials and Beyond: Systematizing Security Assurance through the AI Risk Scanning (AIRS) Framework
by: Nathanson, Samuel, et al.
Published: (2025)

Right to History: A Sovereignty Kernel for Verifiable AI Agent Execution
by: Zhang, Jing
Published: (2026)

Blind Gods and Broken Screens: Architecting a Secure, Intent-Centric Mobile Agent Operating System
by: Zou, Zhenhua, et al.
Published: (2026)

Blockchain Technology: Core Mechanisms, Evolution, and Future Implementation Challenges
by: Singh, Aditya Pratap
Published: (2025)