Paper Citation Record · LEDGER

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI

As of 19 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2608.00882.

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

pith.paper-citation-record.v1
2608.00882 v1

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T15:18:51.485198Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+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

38 of 38 outbound references displayed

verified exact2
verified fuzzy23
unresolved12
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 00638aac-4e45-4eec-a2f9-73efc081a885 · outbound

This paper cites In: ACM Conference on Pro- gramming Language Design and Implementation (2021).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: ACM Conference on Pro- gramming Language Design and Implementation (2021)

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.335294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 4a2120ca-88ed-4769-b706-7499566f2f3b · outbound

This paper cites an unresolved cited work.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:18:52.322170Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f92b6046-60cf-4d20-9be9-edefe87fcea8 · outbound

This paper cites In: IEEE Symposium on Security and Privacy (2007).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: IEEE Symposium on Security and Privacy (2007)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.307093Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f45e5469-eb00-4a03-81a3-626d23308195 · outbound

This paper cites IEEE Computer Security Foundations Symposium (2009).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI IEEE Computer Security Foundations Symposium (2009)

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.292766Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 69e35934-e59a-487f-ba33-80f4da6f20c0 · outbound

This paper cites In: IEEE Computer Security Foundations Symposium (2016).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: IEEE Computer Security Foundations Symposium (2016)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.277899Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d9fc3fd4-4694-4dd6-bd38-63ff96b872d9 · outbound

This paper cites In: ACM Workshop on Programming Languages and Analysis for Security (2011).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: ACM Workshop on Programming Languages and Analysis for Security (2011)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.263105Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 48bfaeb0-8096-4d98-90db-5297cff3a186 · outbound

This paper cites In: IEEE Symposium on Security and Privacy (2008) Assuming You Knew 19.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: IEEE Symposium on Security and Privacy (2008) Assuming You Knew 19

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.248330Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ec7c0712-cb3e-4641-94a8-b4649c99a79c · outbound

This paper cites an unresolved cited work.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:18:52.234114Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 93245d59-8615-481e-9b8a-de93d27980b9 · outbound

This paper cites In: IEEE Computer Security Foundations Symposium (2020).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: IEEE Computer Security Foundations Symposium (2020)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.219305Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 9d49b4bc-39e6-47c2-b173-4427bf2b8b51 · outbound

This paper cites In: Asian Sym- posium on Programming Languages and Systems (2012).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: Asian Sym- posium on Programming Languages and Systems (2012)

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.205974Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 4f52faed-8a00-4677-82dc-519a6fe9135d · outbound

This paper cites In: Tools and Algo- rithms for the Construction and Analysis of Systems (2024).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: Tools and Algo- rithms for the Construction and Analysis of Systems (2024)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.191810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a00dc088-7e0d-4730-a8eb-ac9770b90239 · outbound

This paper cites In: ACM Computer and Communications Security (2009).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: ACM Computer and Communications Security (2009)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.176810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 9155a6ce-2189-4148-9ee6-c235d60d63fc · outbound

This paper cites In: ACM Symposium on Principles of Programming Languages (2010).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: ACM Symposium on Principles of Programming Languages (2010)

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.161920Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation edd6aeac-b736-4f62-af7e-b62cf27edf29 · outbound

This paper cites In: IEEE Computer Security Foun- dations Symposium (2025), https://doi.org/10.1109/CSF64896.2025.00029.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: IEEE Computer Security Foun- dations Symposium (2025), https://doi.org/10.1109/CSF64896.2025.00029

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T15:18:51.378051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f93f390-29b7-4c60-8a78-6df92cd3d4d3 · outbound

This paper cites In: ACM Computer and Communications Security.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: ACM Computer and Communications Security

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.147011Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 645855b7-4d81-4555-90b0-5fc6f46eef68 · outbound

This paper cites In: IEEE Computer Security Foundations Sym- posium (2014).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: IEEE Computer Security Foundations Sym- posium (2014)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.131794Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3fb76e37-0bb7-41dc-95da-668d72093b81 · outbound

This paper cites In: IEEE Computer Security Foun- dations Symposium (2018).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: IEEE Computer Security Foun- dations Symposium (2018)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T15:18:51.390222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b36fb61b-bfab-490d-a29e-1638e24cdccb · outbound

This paper cites Journal of Computer Security 18(6) (2010).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI Journal of Computer Security 18(6) (2010)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.115395Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c83bb0bd-3f71-4a5f-b350-b4f2c23810ac · outbound

This paper cites an unresolved cited work.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:18:52.100215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f0e58f48-3b51-4090-9cdc-358b835335ef · outbound

This paper cites Foundations and Trends®in Theoretical Computer Science9(3–4) (2014).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI Foundations and Trends®in Theoretical Computer Science9(3–4) (2014)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.085553Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2b9f6089-46b5-431a-b5ad-b02db826d4d0 · outbound

This paper cites In: IEEE Computer Security Foundations Symposium (2022).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: IEEE Computer Security Foundations Symposium (2022)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.070584Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5d9a8a4c-07c8-424d-9547-8c88ff8ff72a · outbound

This paper cites an unresolved cited work.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:18:52.056730Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 123da2db-e139-490a-aef6-1733a6b40085 · outbound

This paper cites In: ACM Computer and Communications Security (2023).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: ACM Computer and Communications Security (2023)

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.043152Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3225da49-bcef-47a6-a165-27631e0888c6 · outbound

This paper cites In: IEEE Computer Security Foundations Symposium (2018).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: IEEE Computer Security Foundations Symposium (2018)

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:52.027768Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d2631ddf-2d23-4838-9545-9ac03fd79934 · outbound

This paper cites an unresolved cited work.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:18:52.012971Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 34ca907a-54e6-4680-b8f8-494f0580cba0 · outbound

This paper cites In: ACM Computer and Communications Security (2023).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: ACM Computer and Communications Security (2023)

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-15T15:18:51.430564Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c79482a1-a79b-45d2-83ef-5834ccf425c9 · outbound

This paper cites org/10.46298/LMCS-21(4:21)2025, https://doi.org/10.46298/lmcs-21(4:21)2025.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI org/10.46298/LMCS-21(4:21)2025, https://doi.org/10.46298/lmcs-21(4:21)2025

Reference 27

Resolution: verified exact; doi, observed 2026-08-15T15:18:51.544382Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ce991fc2-70b6-498c-84cf-c3b2aee5402c · outbound

This paper cites Forall-Exists Relational Verification by Filtering to Forall-Forall.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI Forall-Exists Relational Verification by Filtering to Forall-Forall

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-08-15T15:18:51.664316Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e435cc39-d5b9-4c94-886e-f492fef33a91 · outbound

This paper cites In: 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA) (2020).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA) (2020)

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:51.998104Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d338cac0-6308-40d3-add8-b483c0017471 · outbound

This paper cites an unresolved cited work.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-15T15:18:51.449242Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53692c1f-cb6b-434e-91f1-557ea40cd1e0 · outbound

This paper cites MIT Press (2020).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI MIT Press (2020)

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:51.982918Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation eca4e578-a5f9-4d36-8440-57fb3bee8f2d · outbound

This paper cites Journal of Computer Security (2007).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI Journal of Computer Security (2007)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:51.967791Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 6eaff24f-10ad-4c1e-9d5d-c9c6fa47d47a · outbound

This paper cites In: IEEE Computer Security Foundations Symposium (2012).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: IEEE Computer Security Foundations Symposium (2012)

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:51.950910Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 7eedec53-117a-4e55-96c7-b4066740833d · outbound

This paper cites In: IEEE Computer Security Foundations Symposium (2024).

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI In: IEEE Computer Security Foundations Symposium (2024)

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:18:51.935619Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b73b0704-c826-4294-9623-659c54697170 · outbound

This paper cites an unresolved cited work.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:18:51.920365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8d0718bc-37af-48a1-ae77-c072263d52f9 · outbound

This paper cites an unresolved cited work.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:18:51.905529Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f7eb1dd8-1857-4bc3-8c18-a1624b6e35cb · outbound

This paper cites AI-Assisted Completion of CertiGC Proofs: An Experience Report.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI AI-Assisted Completion of CertiGC Proofs: An Experience Report

Reference 37

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T15:18:51.529301Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 127a3ed1-834d-4dad-8744-8322abe03749 · outbound

This paper cites an unresolved cited work.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:18:51.889079Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Pith citing papers

No inbound Pith citation observations are available.