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