Governing Dynamic Capabilities: Cryptographic Binding and Reproducibility Verification for AI Agent Tool Use
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | Zhou, Ziling |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding
von: Golaszewski, Enis, et al.
Veröffentlicht: (2025)
von: Golaszewski, Enis, et al.
Veröffentlicht: (2025)
Feature Homomorphism -- A Cryptographic Scheme For Data Verification Under Ciphertext-Only Conditions
von: Neng, Huang
Veröffentlicht: (2024)
von: Neng, Huang
Veröffentlicht: (2024)
Towards Efficient Verification of Constant-Time Cryptographic Implementations
von: Cai, Luwei, et al.
Veröffentlicht: (2024)
von: Cai, Luwei, et al.
Veröffentlicht: (2024)
Understanding AI Methods for Intrusion Detection and Cryptographic Leakage
von: Zilouchian, Reza, et al.
Veröffentlicht: (2026)
von: Zilouchian, Reza, et al.
Veröffentlicht: (2026)
Classifying Implementations of Cryptographic Primitives and Protocols that Use Post-Quantum Algorithms
von: Mallick, Tushin, et al.
Veröffentlicht: (2025)
von: Mallick, Tushin, et al.
Veröffentlicht: (2025)
Error Correction Capabilities of Non-Linear Cryptographic Hash Functions
von: Cohen, Alejandro, et al.
Veröffentlicht: (2024)
von: Cohen, Alejandro, et al.
Veröffentlicht: (2024)
AgentTrust: Runtime Safety Evaluation and Interception for AI Agent Tool Use
von: Yang, Chenglin
Veröffentlicht: (2026)
von: Yang, Chenglin
Veröffentlicht: (2026)
Cryptographic Choreographies
von: Mödersheim, Sebastian, et al.
Veröffentlicht: (2026)
von: Mödersheim, Sebastian, et al.
Veröffentlicht: (2026)
Agent Capability Negotiation and Binding Protocol (ACNBP)
von: Huang, Ken, et al.
Veröffentlicht: (2025)
von: Huang, Ken, et al.
Veröffentlicht: (2025)
Imprompter: Tricking LLM Agents into Improper Tool Use
von: Fu, Xiaohan, et al.
Veröffentlicht: (2024)
von: Fu, Xiaohan, et al.
Veröffentlicht: (2024)
Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators
von: Iskander, Ray, et al.
Veröffentlicht: (2026)
von: Iskander, Ray, et al.
Veröffentlicht: (2026)
On the Formalization of Cryptographic Migration
von: Loebenberger, Daniel, et al.
Veröffentlicht: (2024)
von: Loebenberger, Daniel, et al.
Veröffentlicht: (2024)
OpenPort Protocol: A Security Governance Specification for AI Agent Tool Access
von: Zhu, Genliang, et al.
Veröffentlicht: (2026)
von: Zhu, Genliang, et al.
Veröffentlicht: (2026)
AgentGuard: An Attribute-Based Access Control Framework for Tool-Use LLM-Based Agent
von: Luo, Jiaqi, et al.
Veröffentlicht: (2026)
von: Luo, Jiaqi, et al.
Veröffentlicht: (2026)
KryptoPilot: An Open-World Knowledge-Augmented LLM Agent for Automated Cryptographic Exploitation
von: Liu, Xiaonan, et al.
Veröffentlicht: (2026)
von: Liu, Xiaonan, et al.
Veröffentlicht: (2026)
HexaMorphHash HMH- Homomorphic Hashing for Secure and Efficient Cryptographic Operations in Data Integrity Verification
von: Das, Krishnendu
Veröffentlicht: (2025)
von: Das, Krishnendu
Veröffentlicht: (2025)
The Quantum-Cryptographic Co-evolution
von: Kundu, Ashish, et al.
Veröffentlicht: (2026)
von: Kundu, Ashish, et al.
Veröffentlicht: (2026)
Cryptographic Runtime Governance for Autonomous AI Systems: The Aegis Architecture for Verifiable Policy Enforcement
von: Mazzocchetti, Adam Massimo
Veröffentlicht: (2026)
von: Mazzocchetti, Adam Massimo
Veröffentlicht: (2026)
Heartbeat-Bound Hierarchical Credentials: Cryptographic Revocation for AI Agent Swarms
von: Deochake, Saurabh
Veröffentlicht: (2026)
von: Deochake, Saurabh
Veröffentlicht: (2026)
Systematic Review of Lightweight Cryptographic Algorithms
von: Khan, Mohsin, et al.
Veröffentlicht: (2026)
von: Khan, Mohsin, et al.
Veröffentlicht: (2026)
Cryptographic Verifiability for Voter Registration Systems
von: Fábrega, Andrés, et al.
Veröffentlicht: (2025)
von: Fábrega, Andrés, et al.
Veröffentlicht: (2025)
Cryptographic Data Exchange for Nuclear Warheads
von: Perry, Neil, et al.
Veröffentlicht: (2025)
von: Perry, Neil, et al.
Veröffentlicht: (2025)
Cryptographic Keywords in NVD: Statistics and Visualization
von: Stanek, Martin
Veröffentlicht: (2024)
von: Stanek, Martin
Veröffentlicht: (2024)
Beyond Static Tools: Evaluating Large Language Models for Cryptographic Misuse Detection
von: Masood, Zohaib, et al.
Veröffentlicht: (2024)
von: Masood, Zohaib, et al.
Veröffentlicht: (2024)
AI-Governed Agent Architecture for Web-Trustworthy Tokenization of Alternative Assets
von: Borjigin, Ailiya, et al.
Veröffentlicht: (2025)
von: Borjigin, Ailiya, et al.
Veröffentlicht: (2025)
Governed MCP: Kernel-Level Tool Governance for AI Agents via Logit-Based Safety Primitives
von: Son, Daeyeon
Veröffentlicht: (2026)
von: Son, Daeyeon
Veröffentlicht: (2026)
Generalized Triangular Dynamical System: An Algebraic System for Constructing Cryptographic Permutations over Finite Fields
von: Roy, Arnab, et al.
Veröffentlicht: (2022)
von: Roy, Arnab, et al.
Veröffentlicht: (2022)
Cryptographic Application of Elliptic Curve with High Rank
von: Cheng, Xiaogang, et al.
Veröffentlicht: (2025)
von: Cheng, Xiaogang, et al.
Veröffentlicht: (2025)
MECHA: Multithreaded and Efficient Cryptographic Hardware Access
von: Derry, Pratama, et al.
Veröffentlicht: (2025)
von: Derry, Pratama, et al.
Veröffentlicht: (2025)
On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials
von: Flamini, Andrea, et al.
Veröffentlicht: (2024)
von: Flamini, Andrea, et al.
Veröffentlicht: (2024)
A Framework for Cryptographic Verifiability of End-to-End AI Pipelines
von: Balan, Kar, et al.
Veröffentlicht: (2025)
von: Balan, Kar, et al.
Veröffentlicht: (2025)
Binding Agent ID: Unleashing the Power of AI Agents with accountability and credibility
von: Lin, Zibin, et al.
Veröffentlicht: (2025)
von: Lin, Zibin, et al.
Veröffentlicht: (2025)
SBN Explorer: An Empirical Study of Cryptographic Boolean Networks
von: Valence, Arnaud
Veröffentlicht: (2026)
von: Valence, Arnaud
Veröffentlicht: (2026)
Quantum-Resistant Cryptographic Models for Next-Gen Cybersecurity
von: Chhibber, Navin, et al.
Veröffentlicht: (2025)
von: Chhibber, Navin, et al.
Veröffentlicht: (2025)
Automated Side-Channel Analysis of Cryptographic Protocol Implementations
von: Nasrabadi, Faezeh, et al.
Veröffentlicht: (2025)
von: Nasrabadi, Faezeh, et al.
Veröffentlicht: (2025)
Mapping Quantum Threats: An Engineering Inventory of Cryptographic Dependencies
von: Benitez, Carlos
Veröffentlicht: (2025)
von: Benitez, Carlos
Veröffentlicht: (2025)
ChainCaps: Composition-Safe Tool-Using Agents via Monotonic Capability Attenuation
von: Jiang, Xiaochong, et al.
Veröffentlicht: (2026)
von: Jiang, Xiaochong, et al.
Veröffentlicht: (2026)
A Fuzzy Logic-Based Cryptographic Framework For Real-Time Dynamic Key Generation For Enhanced Data Encryption
von: Bhand, Kavya, et al.
Veröffentlicht: (2025)
von: Bhand, Kavya, et al.
Veröffentlicht: (2025)
Prompt Injection Attack to Tool Selection in LLM Agents
von: Shi, Jiawen, et al.
Veröffentlicht: (2025)
von: Shi, Jiawen, et al.
Veröffentlicht: (2025)
MalTool: Malicious Tool Attacks on LLM Agents
von: Hu, Yuepeng, et al.
Veröffentlicht: (2026)
von: Hu, Yuepeng, et al.
Veröffentlicht: (2026)
Ähnliche Einträge
-
Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding
von: Golaszewski, Enis, et al.
Veröffentlicht: (2025) -
Feature Homomorphism -- A Cryptographic Scheme For Data Verification Under Ciphertext-Only Conditions
von: Neng, Huang
Veröffentlicht: (2024) -
Towards Efficient Verification of Constant-Time Cryptographic Implementations
von: Cai, Luwei, et al.
Veröffentlicht: (2024) -
Understanding AI Methods for Intrusion Detection and Cryptographic Leakage
von: Zilouchian, Reza, et al.
Veröffentlicht: (2026) -
Classifying Implementations of Cryptographic Primitives and Protocols that Use Post-Quantum Algorithms
von: Mallick, Tushin, et al.
Veröffentlicht: (2025)