Paper Citation Record · LEDGER

Integration of the Static Analysis Results Interchange Format in CogniCrypt

As of 23 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 1 inbound Pith citation observation for arXiv:1907.02558.

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

pith.paper-citation-record.v1
1907.02558 v1

Coverage vector

measured 16 of 16 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-25T09:00:27.957474Z

measured 17 of 17 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+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-05-11T02:52:49.268354Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

16 of 16 outbound references displayed

verified exact0
verified fuzzy2
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 8e5e0b67-f3a1-4765-afbb-5957aee719a6 · outbound

This paper cites an unresolved cited work.

Integration of the Static Analysis Results Interchange Format in CogniCrypt Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-05-25T09:00:33.633128Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3fa8a2c5-01de-4325-8b10-87379322f79d · outbound

This paper cites an unresolved cited work.

Integration of the Static Analysis Results Interchange Format in CogniCrypt Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-05-25T09:00:33.641530Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation df48a76d-f395-4062-9a8b-e0554d35851f · outbound

This paper cites an unresolved cited work.

Integration of the Static Analysis Results Interchange Format in CogniCrypt Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-05-25T09:00:33.636932Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 35d674ba-2ac8-447e-a5cd-20c14307e8da · outbound

This paper cites an unresolved cited work.

Integration of the Static Analysis Results Interchange Format in CogniCrypt Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-05-25T09:00:33.568326Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 77d96bba-37b0-42c9-82fd-07981de0fc91 · outbound

This paper cites GrammaTech.

Integration of the Static Analysis Results Interchange Format in CogniCrypt GrammaTech

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T09:00:33.595397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c7808112-7fbe-42da-91ee-7a8c605394e7 · outbound

This paper cites an unresolved cited work.

Integration of the Static Analysis Results Interchange Format in CogniCrypt Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-05-25T09:00:33.600159Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation dbab6660-7ffa-4185-b1ee-caf25d998ad2 · outbound

This paper cites an unresolved cited work.

Integration of the Static Analysis Results Interchange Format in CogniCrypt Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-05-25T09:00:33.615668Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 61816f5f-fb8d-4dc1-a820-0de671f60b26 · outbound

This paper cites an unresolved cited work.

Integration of the Static Analysis Results Interchange Format in CogniCrypt Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-05-25T09:00:33.589149Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 940c95ea-21f9-4e16-a09c-d5abaff65055 · outbound

This paper cites an unresolved cited work.

Integration of the Static Analysis Results Interchange Format in CogniCrypt Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-05-25T09:00:33.610154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 467cb2a2-9d83-4150-b44f-a4f72b7ae1cb · outbound

This paper cites an unresolved cited work.

Integration of the Static Analysis Results Interchange Format in CogniCrypt Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-05-25T09:00:33.629234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation fc36659a-ca94-48f7-9a4b-5a9eb46dedec · outbound

This paper cites an unresolved cited work.

Integration of the Static Analysis Results Interchange Format in CogniCrypt Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-05-25T09:00:33.579340Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 78a1018d-7b96-41a0-84f6-d4b7c633e1d9 · outbound

This paper cites an unresolved cited work.

Integration of the Static Analysis Results Interchange Format in CogniCrypt Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-05-25T09:00:33.620483Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 4cd7c782-ee30-4c5f-acad-2ba7316b2e61 · outbound

This paper cites an unresolved cited work.

Integration of the Static Analysis Results Interchange Format in CogniCrypt Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-05-25T09:00:33.584389Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0018a90c-1fb8-4f5e-829a-951d5923b439 · outbound

This paper cites an unresolved cited work.

Integration of the Static Analysis Results Interchange Format in CogniCrypt Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-05-25T09:00:33.625149Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 71ea9490-1802-48ac-afd4-b962a469e543 · outbound

This paper cites an unresolved cited work.

Integration of the Static Analysis Results Interchange Format in CogniCrypt Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-05-25T09:00:33.604420Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ea4132c6-8c80-4f25-b5f7-f1e1109588bc · outbound

This paper cites AES ".

Integration of the Static Analysis Results Interchange Format in CogniCrypt AES "

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T09:00:33.572890Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Pith citing papers

Observation 43670489-4a88-4d61-8990-d3ae3ce9882a · inbound

Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers cites this paper.

Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Integration of the Static Analysis Results Interchange Format in CogniCrypt

Reference 100

Resolution: verified exact; arxiv_id, observed 2026-07-04T23:46:14.319743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.