Cover Image

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Peyrano, Ignacio
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security Artificial Intelligence 68Q60 (Primary) 68Q85, 94A60, 68N30 (Secondary) D.2.4; K.6.5; I.2.1; D.4.6; F.3.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds
by: Wright, Craig S
Published: (2025)

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

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

Formal Analysis and Supply Chain Security for Agentic AI Skills
by: Bhardwaj, Varun Pratap
Published: (2026)

On Woolhouse's Cotton-Spinning Problem
by: Groote, Jan Friso, et al.
Published: (2024)

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 Age of Sensorial Zero Trust: Why We Can No Longer Trust Our Senses
by: Xavier, Fabio Correa
Published: (2025)

Clone What You Can't Steal: Black-Box LLM Replication via Logit Leakage and Distillation
by: Gharami, Kanchon, et al.
Published: (2025)

Tamper-Proofing with Self-Modifying Code
by: Morse, Gregory, et al.
Published: (2026)

Verifiable Fine-Tuning for LLMs: Zero-Knowledge Training Proofs Bound to Data Provenance and Policy
by: Akgul, Hasan, et al.
Published: (2025)

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

Trace Validation of Unmodified Concurrent Systems with OmniLink
by: Hackett, Finn, et al.
Published: (2026)

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

Seed-Induced Uniqueness in Transformer Models: Subspace Alignment Governs Subliminal Transfer
by: Okatan, Ayşe Selin, et al.
Published: (2025)

Keys in the Weights: Transformer Authentication Using Model-Bound Latent Representations
by: Okatan, Ayşe S., et al.
Published: (2025)

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

Contract-based Verification of Digital Twins
by: Naeem, Muhammad, et al.
Published: (2025)

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

UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
by: Liang, Zhen, et al.
Published: (2024)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
by: Zhang, Manqing, et al.
Published: (2026)

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

PoSME: Proof of Sequential Memory Execution via Latency-Bound Pointer Chasing with Causal Hash Binding
by: Condrey, David L.
Published: (2026)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

Decidable Reversible Equivalences for Finite Petri Nets
by: Gorrieri, Roberto, et al.
Published: (2025)

Reconstructing Trust Embeddings from Siamese Trust Scores: A Direct-Sum Approach with Fixed-Point Semantics
by: Alpay, Faruk, et al.
Published: (2025)

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
by: Koomullil, George
Published: (2026)

Array-Carrying Symbolic Execution for Function Contract Generation
by: Lu, Weijie, et al.
Published: (2026)

Formal Verification of Imperative First-Class Functions in Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

OpCode-Based Malware Classification Using Machine Learning and Deep Learning Techniques
by: Saini, Varij, et al.
Published: (2025)

Differential Privacy: Gradient Leakage Attacks in Federated Learning Environments
by: Fernandez-de-Retana, Miguel, et al.
Published: (2025)

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

How Does Machine Learning Manage Complexity?
by: Fortnow, Lance
Published: (2026)

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

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
by: Wright, Craig Steven
Published: (2025)

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

Emulation-Completeness of Programming Languages
by: Morse, Gregory, et al.
Published: (2026)

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

Combining Mechanical and Agentic Specification Inference for Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

FedPhD: Federated Pruning with Hierarchical Learning of Diffusion Models
by: Long, Qianyu, et al.
Published: (2025)