Paper Citation Record · LEDGER

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE

As of 18 August 2026, this Paper Citation Record lists 3 of 3 outbound references and 1 inbound Pith citation observation for arXiv:2505.17335.

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

pith.paper-citation-record.v1
2505.17335 v2

Coverage vector

measured 3 of 3 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T14:53:57.373461Z

measured 4 of 4 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+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-10T04:24:46.774756Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-10T04:24:47.391482Z

Reference resolution

3 of 3 outbound references displayed

verified exact0
verified fuzzy0
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 6bee335d-c646-49bc-bc84-a9d332bb3585 · outbound

This paper cites Reynolds.

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE Reynolds

Reference 1482

Resolution: unresolved; no resolver link, observed 2026-08-07T14:53:57.280765Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a2392d7-03be-4906-a06d-1e092bfbfcfe · outbound

This paper cites In 43rd ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages (POPL).

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE In 43rd ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages (POPL)

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-07T14:53:57.373461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 117a5f6f-f6a3-42cd-a91a-52f5713298c2 · outbound

This paper cites In 2024 IEEE Symposium on Security and Privacy (SP).

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE In 2024 IEEE Symposium on Security and Privacy (SP)

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-07T14:53:57.247252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 4df442db-433b-44e3-88cd-848ce7f758d2 · inbound

Canonicalization Failures as a Recurring Vulnerability Class: Representation Divergence in Cryptographic Systems and Its Avoidance cites this paper.

Canonicalization Failures as a Recurring Vulnerability Class: Representation Divergence in Cryptographic Systems and Its Avoidance Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE

Reference 14

Resolution: verified exact; local_arxiv, observed 2026-08-10T04:24:47.434755Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.