Paper Citation Record · LEDGER

An AI Approach to Verified Production Cryptographic Libraries

As of 9 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2608.00965.

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

pith.paper-citation-record.v1
2608.00965 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T00:43:18.315788Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

31 of 31 outbound references displayed

verified exact5
verified fuzzy7
unresolved16
parse uncertain0
malformed identifier1
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5a4cd560-5162-45a7-8751-ef58ccd596c1 · outbound

This paper cites Debian Security Advisory.

An AI Approach to Verified Production Cryptographic Libraries Debian Security Advisory

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:21.300043Z

Source-reported events for the cited work

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

Observation 4f17e239-58ab-4043-8996-4726155f9e03 · outbound

This paper cites AutoVerus: Automated Proof Generation for Rust Code.

An AI Approach to Verified Production Cryptographic Libraries AutoVerus: Automated Proof Generation for Rust Code

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:16.252109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3220e69b-6565-4326-904b-533ff7d158ba · outbound

This paper cites LMPL 2025.

An AI Approach to Verified Production Cryptographic Libraries LMPL 2025

Reference 3

Resolution: verified exact; raw_fallback, observed 2026-08-06T00:43:20.172764Z

Source-reported events for the cited work

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

Observation e5094824-21ef-4e61-a352-5e621e3ea843 · outbound

This paper cites KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code.

An AI Approach to Verified Production Cryptographic Libraries KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:16.388241Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01ead0d2-0672-480b-8da9-12f71c038718 · outbound

This paper cites 2025.doi:10.48550/arXiv.2510.25015.

An AI Approach to Verified Production Cryptographic Libraries 2025.doi:10.48550/arXiv.2510.25015

Reference 5

Resolution: verified exact; doi, observed 2026-08-06T00:43:18.809689Z

Source-reported events for the cited work

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

Observation 89040eb4-a996-46ab-b358-3f248f1663a9 · outbound

This paper cites Verus: Verifying Rust Programs using Linear Ghost Types (extended version).

An AI Approach to Verified Production Cryptographic Libraries Verus: Verifying Rust Programs using Linear Ghost Types (extended version)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:16.481022Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8ed5c15-01ed-4bbb-828a-86c2fd662532 · outbound

This paper cites GitHub repository.

An AI Approach to Verified Production Cryptographic Libraries GitHub repository

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:21.113449Z

Source-reported events for the cited work

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

Observation 08cbe61d-b8e0-4545-b279-5b1484a82c2b · outbound

This paper cites GitHub repository.

An AI Approach to Verified Production Cryptographic Libraries GitHub repository

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:20.953602Z

Source-reported events for the cited work

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

Observation 244d30fe-8aad-4d7c-8764-fe67e04bf066 · outbound

This paper cites Sensor Tower.

An AI Approach to Verified Production Cryptographic Libraries Sensor Tower

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:20.764550Z

Source-reported events for the cited work

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

Observation da1964e7-0ba4-4f6b-af77-da119c1eabc0 · outbound

This paper cites GitHub repository.

An AI Approach to Verified Production Cryptographic Libraries GitHub repository

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:20.619569Z

Source-reported events for the cited work

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

Observation fec8efb8-9ea6-42f2-a17a-f79732fd6c83 · outbound

This paper cites Z3: An Efficient SMT Solver.

An AI Approach to Verified Production Cryptographic Libraries Z3: An Efficient SMT Solver

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:20.494185Z

Source-reported events for the cited work

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

Observation b60c1acb-45a7-4721-bb90-6ae1f97278f0 · outbound

This paper cites VeruSAGE: A Study of Agent-Based Verification for Rust Systems.

An AI Approach to Verified Production Cryptographic Libraries VeruSAGE: A Study of Agent-Based Verification for Rust Systems

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:16.808332Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ebdf04e-010f-452a-a5d3-951223c6ef83 · outbound

This paper cites Lost in the Middle: How Language Models Use Long Contexts.

An AI Approach to Verified Production Cryptographic Libraries Lost in the Middle: How Language Models Use Long Contexts

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:16.886091Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a95f6b1-c878-4694-8aa0-fd22b904f40c · outbound

This paper cites HACL*: A Verified Modern Cryptographic Library.

An AI Approach to Verified Production Cryptographic Libraries HACL*: A Verified Modern Cryptographic Library

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:16.967284Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a559578f-5189-4699-80f3-0eceb983975e · outbound

This paper cites EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.

An AI Approach to Verified Production Cryptographic Libraries EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:17.071742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bad1453-43a5-41b5-9a68-1b76f353551c · outbound

This paper cites GitHub repository.

An AI Approach to Verified Production Cryptographic Libraries GitHub repository

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:20.312933Z

Source-reported events for the cited work

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

Observation 2083e2ef-25ef-49be-9f21-f4de6881c78c · outbound

This paper cites Enhancing LLM-Based Proof Synthesis for Rust Programs via Semantic Chunking and Hierarchical Context Expansion.

An AI Approach to Verified Production Cryptographic Libraries Enhancing LLM-Based Proof Synthesis for Rust Programs via Semantic Chunking and Hierarchical Context Expansion

Reference 17

Resolution: malformed identifier; no resolver link, observed 2026-08-06T00:43:17.245516Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26903e40-f5c8-412b-85ce-16ddc0e89847 · outbound

This paper cites Clover: Closed-Loop Verifiable Code Generation.

An AI Approach to Verified Production Cryptographic Libraries Clover: Closed-Loop Verifiable Code Generation

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:17.341524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e010375e-93d7-455f-83c7-dd33e92368b5 · outbound

This paper cites an unresolved cited work.

An AI Approach to Verified Production Cryptographic Libraries Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:17.413044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 977400cb-5171-4805-a059-6d16c5ca1e84 · outbound

This paper cites Lemur: Integrating Large Language Models in Automated Program Verification.

An AI Approach to Verified Production Cryptographic Libraries Lemur: Integrating Large Language Models in Automated Program Verification

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:17.514769Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37ac76e9-c98c-4867-b9d0-81c7c5e6f15e · outbound

This paper cites Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems.

An AI Approach to Verified Production Cryptographic Libraries Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-08-06T00:43:19.499585Z

Source-reported events for the cited work

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

Observation d8cf62e6-7c31-4ce3-9311-e11442929ff0 · outbound

This paper cites Verified Correctness and Security of mbedTLS HMAC-DRBG.

An AI Approach to Verified Production Cryptographic Libraries Verified Correctness and Security of mbedTLS HMAC-DRBG

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:17.693011Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee291bff-9a5d-496c-89ae-d7059e06030e · outbound

This paper cites The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.

An AI Approach to Verified Production Cryptographic Libraries The Last Mile: High-Assurance and High-Speed Cryptographic Implementations

Reference 23

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T00:43:18.613835Z

Source-reported events for the cited work

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

Observation f22199a1-f68f-49bc-af9d-90624539518c · outbound

This paper cites CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version).

An AI Approach to Verified Production Cryptographic Libraries CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)

Reference 24

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T00:43:18.493794Z

Source-reported events for the cited work

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

Observation df0a34f5-f55b-4398-8e2e-aae1c446069d · outbound

This paper cites A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report.

An AI Approach to Verified Production Cryptographic Libraries A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-08-06T00:43:19.265334Z

Source-reported events for the cited work

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

Observation 8b655fb1-8f4d-49c5-b095-988261d7141c · outbound

This paper cites Automating Formal Verification with Reinforcement Learning and Recursive Inference.

An AI Approach to Verified Production Cryptographic Libraries Automating Formal Verification with Reinforcement Learning and Recursive Inference

Reference 26

Resolution: verified exact; local_arxiv, observed 2026-08-06T00:43:19.071426Z

Source-reported events for the cited work

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

Observation 1aa8bf7c-6a44-4439-8fef-b2d560308682 · outbound

This paper cites DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.

An AI Approach to Verified Production Cryptographic Libraries DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:18.057781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40a66fa7-95b9-44bf-ba4b-b8201b450450 · outbound

This paper cites LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.

An AI Approach to Verified Production Cryptographic Libraries LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:18.120570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7519846f-d0dd-4627-a8c3-908577048ff9 · outbound

This paper cites AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement.

An AI Approach to Verified Production Cryptographic Libraries AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:18.205069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81b04ddd-adf6-45c8-bbcc-6a43dcce09af · outbound

This paper cites an unresolved cited work.

An AI Approach to Verified Production Cryptographic Libraries Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:18.238182Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f83bd6f-16ec-4bf6-91c3-4d7ba98dba35 · outbound

This paper cites Bounds on Multiprocessing Timing Anomalies.

An AI Approach to Verified Production Cryptographic Libraries Bounds on Multiprocessing Timing Anomalies

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:18.315788Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.