ACLE-MCP: Attested Capability Leases for Execution-Time Trust in Remote LLM Tool Use

arXiv:2609.02690 · cs.CR · Submitted 2026-09-02 · Read on arXiv

cs.CR

Submitted: 2026-09-02

Updated: 2026-09-02

Terminology

• Verifier — 20× in this paper · explained in 2 episodes
• Verification — 7× in this paper · explained in 2 episodes
• Ablation — 6× in this paper · explained in 1 episode
• Core — 4× in this paper · explained in 2 episodes
• Agentic System — 2× in this paper · explained in 2 episodes
• Model Context Protocol (MCP) — 2× in this paper · explained in 8 episodes
• Network and Distributed System Security Symposium — 2× in this paper
• Ablation study — 1× in this paper · explained in 1 episode
• Abstraction — 1× in this paper · explained in 1 episode
• Accountability — 1× in this paper · explained in 2 episodes
• Large Language Model (LLM) — 1× in this paper · explained in 3 episodes
• Provenance — 1× in this paper · explained in 4 episodes
• Remote Model Context Protocol — 1× in this paper

Sources

• ACE: A Security Architecture for LLM-Integrated App Systems
• Les Dissonances: Cross-Tool Harvesting and Polluting in Pool-of-Tools Empowered LLM Agents

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills
• Token Composition: A Graph Based on EVM Logs