Introduces DTF, a proof-derived authorization architecture using justification proofs, consensus evaluation, ephemeral identities, and evidence chains to govern AI agent actions on mutation substrates.
Cedar: A new lan- guage for expressive, fast, safe, and analyzable authorization.Proceedings of the ACM on Programming Languages, 8(OOPSLA1):670–697
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems
Introduces DTF, a proof-derived authorization architecture using justification proofs, consensus evaluation, ephemeral identities, and evidence chains to govern AI agent actions on mutation substrates.