Paper Citation Record · LEDGER

Finding $\forall\exists$ Hyperbugs using Symbolic Execution

As of 11 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2501.07918.

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

pith.paper-citation-record.v1
2501.07918 v1

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T20:39:51.604693Z

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+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

34 of 34 outbound references displayed

verified exact5
verified fuzzy0
unresolved22
parse uncertain0
malformed identifier5
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 01b47dce-5585-4479-83c7-2a47da2b13d7 · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.455857Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e3d978a-b31f-4361-abc8-21e995d9cafd · outbound

This paper cites Identity Management on Blockchain -- Privacy and Security Aspects.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Identity Management on Blockchain -- Privacy and Security Aspects

Reference 2

Resolution: malformed identifier; no resolver link, observed 2026-08-10T20:39:51.461021Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74635f01-d14e-4d75-b5f8-58da9d128cc0 · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-10T20:39:52.542242Z

Source-reported events for the cited work

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

Observation d59c8971-cce3-4abd-96fc-af0be44ecb1a · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-10T20:39:51.474438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76cb3173-f644-46db-be73-9b68e8a11fbc · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.478260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 085ddabf-ffff-409b-b7f5-a5dba4d16ce1 · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.482572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb8078fd-3d26-4940-9895-b7062c8ea5b2 · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.486592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05a822f7-4d85-47bc-ba0f-b69597082c98 · outbound

This paper cites Clarke, Ofer Strichman, and Yunshan Zhu.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Clarke, Ofer Strichman, and Yunshan Zhu

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.490441Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fc9853e-debd-4d0f-af1d-bac771787563 · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-10T20:39:52.524859Z

Source-reported events for the cited work

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

Observation 22f4ea9f-52e0-435a-931a-0f7ab51cf71e · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.499435Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8ef9d86-7099-4fb3-8938-3e610a4dcd4e · outbound

This paper cites Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.504042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e79697ac-4194-419c-964a-a14f7a0597bc · outbound

This paper cites Clarkson and Fred B.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Clarkson and Fred B

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.512688Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59f27558-dd20-4409-a869-23c8063891ca · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 14

Resolution: malformed identifier; no resolver link, observed 2026-08-10T20:39:51.516802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd0d004f-ca18-44b3-82a9-803a6876c72a · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 15

Resolution: verified exact; raw_fallback, observed 2026-08-10T20:39:52.273979Z

Source-reported events for the cited work

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

Observation 4bc367d4-4df0-4f2f-b246-b837ec5acf2d · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 16

Resolution: verified exact; doi, observed 2026-08-10T20:39:51.735613Z

Source-reported events for the cited work

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

Observation 0c9542c6-283e-4c9d-b11e-7383740f3a56 · outbound

This paper cites de Boer and Marcello Bonsangue.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution de Boer and Marcello Bonsangue

Reference 17

Resolution: verified exact; doi, observed 2026-08-10T20:39:51.723992Z

Source-reported events for the cited work

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

Observation 8d10c807-cd8a-4aaf-9c61-7b1e041f1c68 · outbound

This paper cites Zhang, and Benjamin Delaware.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Zhang, and Benjamin Delaware

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.534468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92fa7197-6282-4178-975d-6bca2ceadfb9 · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 19

Resolution: malformed identifier; no resolver link, observed 2026-08-10T20:39:51.539113Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcc03913-3c10-46be-a332-e437b25b87a4 · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.543424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f75ff95-3992-48c6-a6ea-c6b63407a44b · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.548047Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb29235d-1b89-467c-9d51-cfc6493b4489 · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-10T20:39:52.500198Z

Source-reported events for the cited work

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

Observation 692e5fa9-b927-470c-b787-8f44a3f025d0 · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.556487Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c0e7f82-90f6-4370-b35b-cd0e007ac9af · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.560713Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 301cf7e4-77d6-4893-a613-82fbf45f585d · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 25

Resolution: malformed identifier; no resolver link, observed 2026-08-10T20:39:51.565275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd128780-00eb-4a7d-a1dc-8cc9bacde590 · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.569548Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af7c45e3-54d1-41e0-87e0-3b2a00e945cb · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.574169Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d59542d6-e7b1-470d-a6f9-5a7a244910b9 · outbound

This paper cites Manes, HyungSeok Han, Choongwoo Han, Sang Kil Cha, Manuel Egele, Edward J.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Manes, HyungSeok Han, Choongwoo Han, Sang Kil Cha, Manuel Egele, Edward J

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.578366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1f2d0b2-fc2e-4721-a75f-ff688183dba7 · outbound

This paper cites McCullough.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution McCullough

Reference 29

Resolution: verified exact; doi, observed 2026-08-10T20:39:51.665157Z

Source-reported events for the cited work

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

Observation 0e4deac0-bb49-4465-9dfe-00d563e6eb74 · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 30

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T20:39:51.943406Z

Source-reported events for the cited work

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

Observation fc8c9995-8083-4bac-af3f-da45ec01810c · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.591665Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9ab35a5-2d94-4223-be25-16106d5c5e4f · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 32

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T20:39:51.853957Z

Source-reported events for the cited work

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

Observation c0b7a572-698c-48db-a998-b6cc40a01973 · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.600350Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a341208-4793-4ebe-9c83-b987f1bf37b5 · outbound

This paper cites an unresolved cited work.

Finding $\forall\exists$ Hyperbugs using Symbolic Execution Unresolved cited work

Reference 34

Resolution: verified exact; doi, observed 2026-08-10T20:39:51.637849Z

Source-reported events for the cited work

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

Observation 74d3dd64-c10c-48a6-bf64-c8803810392b · outbound

This paper cites InPrinciples of Security and Trust (Lecture Notes in Computer Science), Martín Abadi and Steve Kremer (Eds.).

Finding $\forall\exists$ Hyperbugs using Symbolic Execution InPrinciples of Security and Trust (Lecture Notes in Computer Science), Martín Abadi and Steve Kremer (Eds.)

Reference 2014

Resolution: unresolved; no resolver link, observed 2026-08-10T20:39:51.508326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.