Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation

Abstract

Autonomous AI agents increasingly execute actions, invoke tools, and operate on protected resources with limited human oversight. Existing authentication and authorization mechanisms establish identity and delegate authority, but do not inherently provide cryptographic evidence that a concrete request issued by a specific agent satisfies the applicable policy in a specific execution context. This paper hypothesizes that agent authorization can be formalized as a cryptographically verifiable rela

Categories

@misc{llambimorillas2026cryptographically,
  title = {{Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation}},
  author = {M. Llambí-Morillas and D. Fernández-Fernández},
  year = {2026},
  month = jul,
  eprint = {2607.21325},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2607.21325}
}