Paper Citation Record · LEDGER

Constructing Trustworthy Smart Contracts

As of 12 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2411.14563.

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

pith.paper-citation-record.v1
2411.14563 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:13:26.329387Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

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

35 of 35 outbound references displayed

verified exact0
verified fuzzy26
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c98382db-5f73-456b-9937-11139bfb7420 · outbound

This paper cites At https://www.cnbc.com/2023/02/04/ crypto-investors-lost-nearly-4-billion-dollars-to-hackers-in-2022.

Constructing Trustworthy Smart Contracts At https://www.cnbc.com/2023/02/04/ crypto-investors-lost-nearly-4-billion-dollars-to-hackers-in-2022

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.759554Z

Source-reported events for the cited work

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

Observation 4593d979-412a-4204-bd43-787e4fc458d4 · outbound

This paper cites At https://www.certik.com/resources/ blog/7BokMhPUgffqEvyvXgHNaq-hack3d-the-web3-security-report-2023.

Constructing Trustworthy Smart Contracts At https://www.certik.com/resources/ blog/7BokMhPUgffqEvyvXgHNaq-hack3d-the-web3-security-report-2023

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.746794Z

Source-reported events for the cited work

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

Observation 0b8b8164-0cc0-4d3c-909e-a2a7fb92f5d8 · outbound

This paper cites At https://docs.

Constructing Trustworthy Smart Contracts At https://docs

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.735414Z

Source-reported events for the cited work

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

Observation 38f6bc90-7dec-42cd-945f-0e36f52ae002 · outbound

This paper cites an unresolved cited work.

Constructing Trustworthy Smart Contracts Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:13:26.723547Z

Source-reported events for the cited work

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

Observation 83ca78c6-e20b-4bda-9508-b1b8b2e91d57 · outbound

This paper cites In: FM Workshops (1).

Constructing Trustworthy Smart Contracts In: FM Workshops (1)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.711477Z

Source-reported events for the cited work

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

Observation 803bc472-ad47-449b-bd37-95e4b401634f · outbound

This paper cites an unresolved cited work.

Constructing Trustworthy Smart Contracts Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:13:26.698820Z

Source-reported events for the cited work

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

Observation 8d6c976f-c0c1-4a29-9ada-0f58d32508f3 · outbound

This paper cites an unresolved cited work.

Constructing Trustworthy Smart Contracts Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:13:26.685825Z

Source-reported events for the cited work

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

Observation 24d5f822-f32c-4e89-9a7d-cf5cf442314f · outbound

This paper cites In: FMICS.

Constructing Trustworthy Smart Contracts In: FMICS

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.674492Z

Source-reported events for the cited work

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

Observation af854a4f-3d25-4c15-8bda-fee48f076f35 · outbound

This paper cites ACM Trans.

Constructing Trustworthy Smart Contracts ACM Trans

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T15:13:26.230775Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9476acd-2cc6-429f-bced-60fa3f00b6df · outbound

This paper cites In: TACAS (1).

Constructing Trustworthy Smart Contracts In: TACAS (1)

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.663717Z

Source-reported events for the cited work

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

Observation 0477b315-c53f-442b-9b3d-070502d73ac7 · outbound

This paper cites In: Chakraborty, S., Navas, J.A.

Constructing Trustworthy Smart Contracts In: Chakraborty, S., Navas, J.A

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.651450Z

Source-reported events for the cited work

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

Observation 9778b285-81df-44cc-94d1-ed0ca49d2778 · outbound

This paper cites an unresolved cited work.

Constructing Trustworthy Smart Contracts Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:13:26.637985Z

Source-reported events for the cited work

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

Observation cbf73a01-ce1f-4ae2-b032-fdf36d211d0c · outbound

This paper cites In: Financial Cryptography.

Constructing Trustworthy Smart Contracts In: Financial Cryptography

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.627217Z

Source-reported events for the cited work

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

Observation 489cf33d-fdb3-4e64-a903-c5b33ae6dfbc · outbound

This paper cites In: Financial Cryptography.

Constructing Trustworthy Smart Contracts In: Financial Cryptography

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.615238Z

Source-reported events for the cited work

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

Observation 27cbf8a7-f585-4f2a-9245-62bce90f32f8 · outbound

This paper cites In: VMCAI.

Constructing Trustworthy Smart Contracts In: VMCAI

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.603661Z

Source-reported events for the cited work

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

Observation 211ff635-ffaf-4118-a55c-0876f76d2f03 · outbound

This paper cites In: CA V.

Constructing Trustworthy Smart Contracts In: CA V

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.591787Z

Source-reported events for the cited work

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

Observation 47d01a55-5ca6-4ad1-85ed-2d4bc199ffb0 · outbound

This paper cites In: POPL.

Constructing Trustworthy Smart Contracts In: POPL

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-12T15:13:26.261280Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a187649-f1de-40f5-a5cd-df7c9c12b9ad · outbound

This paper cites In: FSTTCS.

Constructing Trustworthy Smart Contracts In: FSTTCS

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.573808Z

Source-reported events for the cited work

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

Observation ecf700f0-bdbe-48eb-a20f-14cd1a281305 · outbound

This paper cites In: IEEE Symposium on Security and Pri- vacy (2020).

Constructing Trustworthy Smart Contracts In: IEEE Symposium on Security and Pri- vacy (2020)

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.560224Z

Source-reported events for the cited work

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

Observation 088aa884-498b-4f24-b46e-1d8e9d46d6fe · outbound

This paper cites an unresolved cited work.

Constructing Trustworthy Smart Contracts Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:13:26.548825Z

Source-reported events for the cited work

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

Observation 115a885d-3a15-4031-9b69-8dfae2a4a159 · outbound

This paper cites In: IEEE Symposium on Secu- rity and Privacy (2021).

Constructing Trustworthy Smart Contracts In: IEEE Symposium on Secu- rity and Privacy (2021)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.536821Z

Source-reported events for the cited work

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

Observation b7127284-b484-4255-9b12-d93c939f3d85 · outbound

This paper cites In: PriSC (2024), at https://arxiv.org/pdf/2311.

Constructing Trustworthy Smart Contracts In: PriSC (2024), at https://arxiv.org/pdf/2311

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.525494Z

Source-reported events for the cited work

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

Observation bb3c7b57-4883-4ceb-92ac-35650f2789c5 · outbound

This paper cites In: CA V (1).

Constructing Trustworthy Smart Contracts In: CA V (1)

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.513422Z

Source-reported events for the cited work

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

Observation d76de073-4cdd-4124-892b-1528756fa92c · outbound

This paper cites Attacker is pushed onto the stack, and Attacker’s state is updated to CollectDeposit.

Constructing Trustworthy Smart Contracts Attacker is pushed onto the stack, and Attacker’s state is updated to CollectDeposit

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.502273Z

Source-reported events for the cited work

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

Observation 140072c6-7a35-4c2d-a0e0-3cf2aad802b1 · outbound

This paper cites Etherstore is pushed onto the stack.

Constructing Trustworthy Smart Contracts Etherstore is pushed onto the stack

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.490330Z

Source-reported events for the cited work

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

Observation c8bf9775-f703-4b4c-b8d0-e7319981d942 · outbound

This paper cites Attacker is now at the top of the stack.

Constructing Trustworthy Smart Contracts Attacker is now at the top of the stack

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.479177Z

Source-reported events for the cited work

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

Observation 6cb7b1ae-4cf6-4e64-bdef-c3ae446bd32d · outbound

This paper cites Etherstore is pushed onto the stack.

Constructing Trustworthy Smart Contracts Etherstore is pushed onto the stack

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.465897Z

Source-reported events for the cited work

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

Observation 3f6ce23a-e92c-4ad2-beaa-6f65ab6e031c · outbound

This paper cites Attacker is pushed onto the stack (with Attacker at the bottom of the stack as well).

Constructing Trustworthy Smart Contracts Attacker is pushed onto the stack (with Attacker at the bottom of the stack as well)

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.453989Z

Source-reported events for the cited work

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

Observation 81843d9b-0dd1-44c5-9c64-b1c2e6157748 · outbound

This paper cites Note that this is where Attacker attempts to maliciously reenter Ether- store.

Constructing Trustworthy Smart Contracts Note that this is where Attacker attempts to maliciously reenter Ether- store

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.442666Z

Source-reported events for the cited work

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

Observation 020ce216-414b-479a-9d1b-bd7266c81208 · outbound

This paper cites Etherstore’s state is up- dated to GaveWithdrawal, and then to AcceptDeposit.

Constructing Trustworthy Smart Contracts Etherstore’s state is up- dated to GaveWithdrawal, and then to AcceptDeposit

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.431334Z

Source-reported events for the cited work

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

Observation a390066a-40b1-4c1a-b0c8-245d23d42722 · outbound

This paper cites Etherstore is popped off the stack.

Constructing Trustworthy Smart Contracts Etherstore is popped off the stack

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.418921Z

Source-reported events for the cited work

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

Observation debeb35e-64db-406e-9d03-9b6f826fa95e · outbound

This paper cites Attacker is prevented from requesting another withdrawal, since its balance has already been reset.

Constructing Trustworthy Smart Contracts Attacker is prevented from requesting another withdrawal, since its balance has already been reset

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.407214Z

Source-reported events for the cited work

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

Observation 36f7161c-6baf-4598-ae95-e0f033b52d77 · outbound

This paper cites an unresolved cited work.

Constructing Trustworthy Smart Contracts Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:13:26.395420Z

Source-reported events for the cited work

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

Observation b261581f-d520-4500-b90f-6a35078f0211 · outbound

This paper cites an unresolved cited work.

Constructing Trustworthy Smart Contracts Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:13:26.384457Z

Source-reported events for the cited work

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

Observation d31ca2a2-8587-461e-9393-ceffc73c1765 · outbound

This paper cites The soundness of this proof rule is established as follows.

Constructing Trustworthy Smart Contracts The soundness of this proof rule is established as follows

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:13:26.372692Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.