FIELD NOTES TOPIC
open problems
1 note, newest first.
Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation
The authors propose a model for Cryptographically Verifiable Agent Authorization (CVA), which aims to provide cryptographic evidence that an AI agent's authorization request satisfies the applicable policy in a…
