Paper Citation Record · LEDGER

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs

As of 7 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2607.27267.

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

pith.paper-citation-record.v1
2607.27267 v1

Coverage vector

measured 47 of 47 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T11:00:12.648477Z

measured 47 of 47 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

47 of 47 outbound references displayed

verified exact0
verified fuzzy0
unresolved46
parse uncertain1
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f53391d2-e450-46d3-a12c-cc9c86144192 · outbound

This paper cites Communication, Simulation, and Intelligent Agents: Implications of Personal Intelligent Machines for Medical Education.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Communication, Simulation, and Intelligent Agents: Implications of Personal Intelligent Machines for Medical Education

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:06.819089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16177b18-0316-4a3d-ba1e-5a3ceed20933 · outbound

This paper cites Aligning Provenance with Authorization: A Dual-Graph Defense for LLM Agents.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Aligning Provenance with Authorization: A Dual-Graph Defense for LLM Agents

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:06.969814Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ecc029a-7b78-421d-94cd-83d9d7b8ffb7 · outbound

This paper cites ActPlane: Programmable OS-Level Policy Enforcement for Agent Harnesses.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs ActPlane: Programmable OS-Level Policy Enforcement for Agent Harnesses

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:07.034852Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation daf4f330-2828-46bb-8314-e0827b36a3c8 · outbound

This paper cites ICML 2025 workshop on computer use agents , year=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs ICML 2025 workshop on computer use agents , year=

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:07.173873Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e343e66-c156-429e-9fad-5323aa83ded8 · outbound

This paper cites AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:07.232662Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fb50c01-701f-4643-a0f9-cd6ec03a096a · outbound

This paper cites and Hashimoto, Tatsunori , year = 2024, eprint =.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs and Hashimoto, Tatsunori , year = 2024, eprint =

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:07.329816Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0a97666-e4d5-465b-be62-c1bad4654660 · outbound

This paper cites AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:07.379881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9b40d8b-c691-4099-8e90-cf817e4de877 · outbound

This paper cites OpenAgentSafety : A Comprehensive Framework for Evaluating Real-World AI Agent Safety.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs OpenAgentSafety : A Comprehensive Framework for Evaluating Real-World AI Agent Safety

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:07.470962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8efa065-87eb-4344-97c2-b1af9b0ed01a · outbound

This paper cites Securing AI Agents with Information-Flow Control.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Securing AI Agents with Information-Flow Control

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:07.574484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e12a555c-9bf0-4ff9-babd-5bd1179142c2 · outbound

This paper cites Agent-SafetyBench : Evaluating the Safety of LLM Agents.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Agent-SafetyBench : Evaluating the Safety of LLM Agents

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:07.753567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbcab223-9a5b-40bd-9dba-886c62af1ab2 · outbound

This paper cites InjecAgent : Benchmarking Indirect Prompt Injections in Tool-Integrated Large Language Model Agents.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs InjecAgent : Benchmarking Indirect Prompt Injections in Tool-Integrated Large Language Model Agents

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:07.909140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c72fddf3-22e9-4d60-934d-a10c4ade346f · outbound

This paper cites Agent Security Bench (ASB) : Formalizing and Benchmarking Attacks and Defenses in LLM -based Agents.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Agent Security Bench (ASB) : Formalizing and Benchmarking Attacks and Defenses in LLM -based Agents

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:07.994627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a9bf56f-a2f8-4904-a945-5fc015da63cb · outbound

This paper cites VIGIL : Runtime Enforcement of Behavioral Specifications in AI Agent Skills.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs VIGIL : Runtime Enforcement of Behavioral Specifications in AI Agent Skills

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:08.181812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f0f9fcb-a984-4ef8-a824-fbbbf0e97bd5 · outbound

This paper cites AgentMonitor : A Plug-and-Play Framework for Predictive and Secure Multi-Agent Systems.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs AgentMonitor : A Plug-and-Play Framework for Predictive and Secure Multi-Agent Systems

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:08.337987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2d52f9f-cbe1-4d1a-9df4-e50ec6699003 · outbound

This paper cites R-Judge : Benchmarking Safety Risk Awareness for LLM Agents.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs R-Judge : Benchmarking Safety Risk Awareness for LLM Agents

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:08.468592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66e386e2-26df-4a2e-a11b-37a6c037a0cc · outbound

This paper cites International conference on Tools and Algorithms for the Construction and Analysis of Systems , pages=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs International conference on Tools and Algorithms for the Construction and Analysis of Systems , pages=

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:08.581649Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17f7847a-f156-4e37-b59b-fe6f3c66f0be · outbound

This paper cites Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , pages=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , pages=

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:08.749317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30c77142-38b2-413d-8f46-bb5f2bc76083 · outbound

This paper cites 2024 , note =.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs 2024 , note =

Reference 18

Resolution: parse uncertain; no resolver link, observed 2026-08-01T11:00:08.953754Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7f02cd0-1ff2-48fe-aa32-81a25eb2f060 · outbound

This paper cites IEEE Transactions on Computers , year=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs IEEE Transactions on Computers , year=

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:09.146341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1e2b67c-28e3-42c3-ba9f-ec046a44ca6b · outbound

This paper cites HAICOSYSTEM: An Ecosystem for Sandboxing Safety Risks in Human-AI Interactions.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs HAICOSYSTEM: An Ecosystem for Sandboxing Safety Risks in Human-AI Interactions

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:09.216173Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 689167b1-e178-4d3f-869d-46ba5fffc5a5 · outbound

This paper cites International Conference on Learning Representations , volume=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs International Conference on Learning Representations , volume=

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:09.289740Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd39060f-376f-48e4-be48-09f0607c0236 · outbound

This paper cites 34th USENIX Security Symposium (USENIX Security 25) , pages=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs 34th USENIX Security Symposium (USENIX Security 25) , pages=

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:09.395278Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16d04eef-c351-46c1-8a78-8b7db97dc907 · outbound

This paper cites Governance-as-a-Service: A Multi-Agent Framework for AI System Compliance and Policy Enforcement.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Governance-as-a-Service: A Multi-Agent Framework for AI System Compliance and Policy Enforcement

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:09.526414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 271eb5c0-f471-4324-bf76-f9d6ba309eff · outbound

This paper cites arXiv preprint arXiv:2606.15508 , year=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs arXiv preprint arXiv:2606.15508 , year=

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:09.659667Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d99d3f4-546a-42ba-b76a-d00f4f5c8186 · outbound

This paper cites International Conference on Learning Representations , volume=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs International Conference on Learning Representations , volume=

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:09.844738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7722402-d475-42d7-9db6-4d495e6a2f78 · outbound

This paper cites Universal and Transferable Adversarial Attacks on Aligned Language Models.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Universal and Transferable Adversarial Attacks on Aligned Language Models

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:09.997500Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55061a00-3657-48e3-b555-2468878bb825 · outbound

This paper cites Crab: A Semantics-Aware Checkpoint/Restore Runtime for Agent Sandboxes.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Crab: A Semantics-Aware Checkpoint/Restore Runtime for Agent Sandboxes

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:10.151196Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d9b52e6-49b6-4075-98cd-8fdc86ee41bb · outbound

This paper cites AgentCgroup: Understanding and Controlling OS Resources of AI Agents.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs AgentCgroup: Understanding and Controlling OS Resources of AI Agents

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:10.283520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0ceb0ae-a779-43dc-8e54-2e86768fd6a9 · outbound

This paper cites Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , pages=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , pages=

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:10.419704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47098696-6ffe-41bc-bb07-74fd5c642f9b · outbound

This paper cites md Files on the Efficiency of AI Coding Agents , author=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs md Files on the Efficiency of AI Coding Agents , author=

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:10.620707Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c7c2d51-f344-4884-848d-0c3ef87aa7d7 · outbound

This paper cites International Conference on Product-Focused Software Process Improvement , pages=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs International Conference on Product-Focused Software Process Improvement , pages=

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:10.800966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ea9c0a0-9dbb-49a4-ab06-d8569a51e88a · outbound

This paper cites arXiv preprint arXiv:2511.12884 , year=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs arXiv preprint arXiv:2511.12884 , year=

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:10.968730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67ec5e5b-b498-4af8-9ffa-c7fd6e11f2b5 · outbound

This paper cites Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security , pages=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security , pages=

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:11.117071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed1737a9-8740-4093-9b1f-392b93844fee · outbound

This paper cites Companion Proceedings of the ACM on Web Conference 2025 , pages=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Companion Proceedings of the ACM on Web Conference 2025 , pages=

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:11.259825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e7460a3-fc52-4d05-9236-beb805bf87ae · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Advances in Neural Information Processing Systems , volume=

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:11.330494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de4276b3-595a-439a-9bb6-4351d8cc02e7 · outbound

This paper cites International Conference on Learning Representations , volume=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs International Conference on Learning Representations , volume=

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:11.432077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e21a3ce1-f633-48c2-9704-d040295bbd52 · outbound

This paper cites Classification Problem Solving.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Classification Problem Solving

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:11.547966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 062ad668-ac60-45de-a8d1-59b71411f56c · outbound

This paper cites , title =.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs , title =

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:11.635694Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb02ae6b-f610-4a03-954f-7796a65051b6 · outbound

This paper cites New Ways to Make Microcircuits Smaller---Duplicate Entry.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs New Ways to Make Microcircuits Smaller---Duplicate Entry

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:11.764526Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5dc3cd99-6b05-48cc-9a48-40fe38c20241 · outbound

This paper cites Clancey and Glenn Rennels , abstract =.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Clancey and Glenn Rennels , abstract =

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:11.875104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b17c080c-de67-4023-a1c2-fcbd7074d990 · outbound

This paper cites and Rennels, Glenn R.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs and Rennels, Glenn R

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:12.023690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ea2678a-acf2-4282-b8d7-21961e2451de · outbound

This paper cites Poligon: A System for Parallel Problem Solving.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Poligon: A System for Parallel Problem Solving

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:12.139900Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0dcaeff-9d82-47e9-b77c-c2527ae9a128 · outbound

This paper cites Transfer of Rule-Based Expertise through a Tutorial Dialogue.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Transfer of Rule-Based Expertise through a Tutorial Dialogue

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:12.243139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6c21a9b-ecc5-442c-b0fc-3864460376d3 · outbound

This paper cites The Engineering of Qualitative Models.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs The Engineering of Qualitative Models

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:12.333420Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f43300c-0b27-441d-a64f-bf954b259506 · outbound

This paper cites 2023 , eprint=.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs 2023 , eprint=

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:12.399598Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94a892de-51cc-4b75-b250-61059ced61cd · outbound

This paper cites Pluto: The 'Other' Red Planet.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs Pluto: The 'Other' Red Planet

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:12.518361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fde25414-58bb-4970-a359-9c0619efda93 · outbound

This paper cites SafeAgent: A Runtime Protection Architecture for Agentic Systems.

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs SafeAgent: A Runtime Protection Architecture for Agentic Systems

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-01T11:00:12.648477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.