Paper Citation Record · LEDGER

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

As of 10 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 1 inbound Pith citation observation for arXiv:2607.21325.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.21325 v1

Coverage vector

measured 41 of 41 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T07:53:04.863424Z

measured 42 of 42 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-01T07:53:04.714764Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

41 of 41 outbound references displayed

verified exact1
verified fuzzy0
unresolved38
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c28bc925-a751-4ffa-a087-91f10ccd673d · outbound

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

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

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.714764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ea09409-f4cc-4fc9-8033-e67e1a5f08f1 · outbound

This paper cites an unresolved cited work.

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

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.720210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation effaf7df-1833-4d51-b95c-a5aea86a19ef · outbound

This paper cites an unresolved cited work.

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

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.723713Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6271127f-4700-4c7c-ab17-f2f439b92cc4 · outbound

This paper cites an unresolved cited work.

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

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.727767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b92c239-cd47-47dd-9d66-a29875898b4d · outbound

This paper cites an unresolved cited work.

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

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.731681Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad7b5082-c858-4496-a6fd-c091ff35481c · outbound

This paper cites The preliminary model supports four principal ob- servations.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation The preliminary model supports four principal ob- servations

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.735454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0e59f7f-de99-4cd6-8cfc-e6c27da08348 · outbound

This paper cites an unresolved cited work.

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

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.738899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33baced6-cb90-4782-90b6-98bbde6f62c8 · outbound

This paper cites an unresolved cited work.

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

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.742535Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a2fac4b-0490-4bcb-ad83-b0a5b129e7e6 · outbound

This paper cites an unresolved cited work.

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

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.746287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70e31849-67a3-4244-8e23-9c1b12e1ab57 · outbound

This paper cites an unresolved cited work.

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

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.750604Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72aa3172-4e05-4249-8194-d2fb57aa8284 · outbound

This paper cites The system is addi- tionally not post-quantum secure under current assumptions.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation The system is addi- tionally not post-quantum secure under current assumptions

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.754496Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f43ff7e2-9418-4ea3-bfdb-d6f3af4efad5 · outbound

This paper cites an unresolved cited work.

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

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.758587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fca7537b-2e43-49a9-8a26-74e80f1b69e4 · outbound

This paper cites an unresolved cited work.

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

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.762632Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c144550e-df6e-499c-a172-99eb5fa52761 · outbound

This paper cites an unresolved cited work.

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

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.766895Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41dc71af-ffb0-426c-ba72-ac2dc8811fdf · outbound

This paper cites an unresolved cited work.

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

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.769890Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 736466b2-cd9c-4075-a2ec-a06f55546dda · outbound

This paper cites an unresolved cited work.

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

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.773297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08b5f678-aac1-4918-b437-a80a9a9c30da · outbound

This paper cites an unresolved cited work.

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

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.776453Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 354af9f1-8de4-41fd-8083-68a52082b2c2 · outbound

This paper cites an unresolved cited work.

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

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.779684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation edabdee2-5681-4c0f-9844-da9c77f0e484 · outbound

This paper cites The looming authorization crisis: Why traditional IAM fails agentic AI,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation The looming authorization crisis: Why traditional IAM fails agentic AI,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.782897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21dde4f5-2d73-4089-8766-e12cc21aae56 · outbound

This paper cites The OAuth 2.0 authorization framework,.

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

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.785986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf86bf26-149b-442c-9f6c-183a0fff840e · outbound

This paper cites Identity management for agentic AI: The new frontier of authorization, authen- tication, and security for an AI agent world,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation Identity management for agentic AI: The new frontier of authorization, authen- tication, and security for an AI agent world,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.789755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9c748bf-74b8-4340-8f3b-4d9f04822295 · outbound

This paper cites DIAP: A decentralized agent identity pro- tocol with zero-knowledge proofs and a hybrid P2P stack,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation DIAP: A decentralized agent identity pro- tocol with zero-knowledge proofs and a hybrid P2P stack,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.793037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13642f0d-3302-463a-b110-0a949f2dc5af · outbound

This paper cites Binding agent ID: Unleashing the power of AI agents with accountability and credibility,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation Binding agent ID: Unleashing the power of AI agents with accountability and credibility,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.796351Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48b00924-12eb-48cf-b75f-24d3586af660 · outbound

This paper cites A novel zero-trust identity framework for agentic AI: Decentralized authentication and fine- grained access control,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation A novel zero-trust identity framework for agentic AI: Decentralized authentication and fine- grained access control,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.799846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec05d365-dc50-49cf-a053-7c5a5db2ed17 · outbound

This paper cites The Aegis Protocol: A Foundational Security Framework for Autonomous AI Agents.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation The Aegis Protocol: A Foundational Security Framework for Autonomous AI Agents

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.803559Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d475372-a147-4ecf-84ce-bd9d4626388e · outbound

This paper cites The knowl- edge complexity of interactive proof-systems,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation The knowl- edge complexity of interactive proof-systems,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.807343Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 857e94a9-8184-4707-a9c5-fa2250a89e66 · outbound

This paper cites On the size of pairing-based non- interactive arguments,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation On the size of pairing-based non- interactive arguments,

Reference 27

Resolution: malformed identifier; no resolver link, observed 2026-08-01T07:53:04.811161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f33de5d-7745-429c-8f0c-fac895dd0eb7 · outbound

This paper cites Scalable, transparent, and post-quantum secure com- putational integrity,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation Scalable, transparent, and post-quantum secure com- putational integrity,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.815301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cd5531f-9089-4e6f-808f-f4b93ba6cfff · outbound

This paper cites Bulletproofs: Short proofs for confi- dential transactions and more,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation Bulletproofs: Short proofs for confi- dential transactions and more,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.819523Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a5f8577-105f-43ed-949d-ea1560849834 · outbound

This paper cites Zero-Knowledge Proof Frameworks: A Systematic Survey.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation Zero-Knowledge Proof Frameworks: A Systematic Survey

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.822792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91540406-6a48-4f6f-a436-f323cb60ecff · outbound

This paper cites Zero-knowledge proofs for privacy- preserving systems: A survey across blockchain, iden- tity, andbeyond,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation Zero-knowledge proofs for privacy- preserving systems: A survey across blockchain, iden- tity, andbeyond,

Reference 31

Resolution: malformed identifier; doi_truncated, observed 2026-08-01T07:53:23.092764Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation dfb660cb-65a8-4382-a051-45b15af477b4 · outbound

This paper cites Zero-knowledge proofs and OAuth 2.0 for anonymity and security in distributed systems,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation Zero-knowledge proofs and OAuth 2.0 for anonymity and security in distributed systems,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.830680Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de9cd659-cefa-44a4-abdb-932460397229 · outbound

This paper cites Two-factor authentication for intellectual prop- erty transactions based on improved zero-knowledge proof,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation Two-factor authentication for intellectual prop- erty transactions based on improved zero-knowledge proof,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.833728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5037341f-f6f5-4428-99d9-25897a7f2aea · outbound

This paper cites Secure blockchain-based single sign- on with zero-knowledge proof authentication,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation Secure blockchain-based single sign- on with zero-knowledge proof authentication,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.841107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00c8c7bf-eae4-4476-a9ef-e2143a941b95 · outbound

This paper cites Building a robust OAuth token based API Security: A High level Overview.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation Building a robust OAuth token based API Security: A High level Overview

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.845557Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1c6c1c6-b599-4855-863c-735290601b54 · outbound

This paper cites Zero-knowledge audit for Internet of Agents: Privacy-preserving communication verifi- cation with Model Context Protocol,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation Zero-knowledge audit for Internet of Agents: Privacy-preserving communication verifi- cation with Model Context Protocol,

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.849706Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bab9eb86-a0a2-4471-b709-a1e4993c46c6 · outbound

This paper cites AIP: Agent identity protocol for verifiable delegationacrossMCPandA2A,.

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

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.853484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efb568b4-24fd-41c8-b054-e791aee1ac63 · outbound

This paper cites Non-interactive and information- theoretic secure verifiable secret sharing,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation Non-interactive and information- theoretic secure verifiable secret sharing,

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.856822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60d43d83-3341-4d7d-b0f3-0e7311d0d480 · outbound

This paper cites Poseidon: A new hash function for zero-knowledge proof systems,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation Poseidon: A new hash function for zero-knowledge proof systems,

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.860207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b370a388-74a6-49f2-9bc7-2f2df4c98716 · outbound

This paper cites zk-auth-agent-demo: Prototype for zero- knowledge-based authorization in agentic systems,.

Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation zk-auth-agent-demo: Prototype for zero- knowledge-based authorization in agentic systems,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:04.863424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0056078c-94c4-44a2-96ba-050fa534c299 · outbound

This paper cites an unresolved cited work.

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

Reference 5974

Resolution: verified exact; doi, observed 2026-08-01T07:53:22.975094Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Pith citing papers

Observation c28bc925-a751-4ffa-a087-91f10ccd673d · inbound