Paper Citation Record · LEDGER

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts

As of 9 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 1 inbound Pith citation observation for arXiv:2507.04357.

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

pith.paper-citation-record.v1
2507.04357 v2

Coverage vector

measured 14 of 14 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T19:51:51.285697Z

measured 15 of 15 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-08T07:17:22.042925Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-11T21:01:13.511184Z

Reference resolution

14 of 14 outbound references displayed

verified exact1
verified fuzzy9
unresolved3
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d75c8ca9-73bd-4100-9af5-3c39929143c3 · outbound

This paper cites Making smart contracts smarter,.

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts Making smart contracts smarter,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T19:51:50.215970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d70be16-99db-48be-a0c5-02fa35376cc4 · outbound

This paper cites Smashing ethereum smart contracts for fun and real profit,.

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts Smashing ethereum smart contracts for fun and real profit,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:51:53.390026Z

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 a1d72b45-c2cc-4a88-a7ba-bba036e2d409 · outbound

This paper cites Slither: A static analysis framework for smart contracts,.

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts Slither: A static analysis framework for smart contracts,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:51:53.199847Z

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 96665d28-01ac-4343-a99e-504159c4cf67 · outbound

This paper cites Securify: Practical security analysis of smart contracts,.

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts Securify: Practical security analysis of smart contracts,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T19:51:50.464309Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78c12cd0-d1ff-464f-8edf-6f1fc08cc2ad · outbound

This paper cites Adding concurrency to smart contracts,.

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts Adding concurrency to smart contracts,

Reference 5

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T19:51:53.005572Z

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 e235a95a-2db8-4e56-bd74-181c7d983918 · outbound

This paper cites Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution.

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-06T19:51:51.454568Z

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 db1e353b-0eed-4ead-9e7f-c3ee0269e0dd · outbound

This paper cites Bitcoin: A peer-to-peer electronic cash system,.

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts Bitcoin: A peer-to-peer electronic cash system,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T19:51:50.678348Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0bd9e985-43a4-4719-9ebf-84c002256bb5 · outbound

This paper cites Ethereum white paper,.

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts Ethereum white paper,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:51:52.848743Z

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 c9e77ea0-aa2d-497c-ac9a-e8a30486eece · outbound

This paper cites Exploiting the laws of order in smart contracts,.

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts Exploiting the laws of order in smart contracts,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:51:52.660956Z

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 69f003c2-58c2-45ce-8b0c-abbe8c325c17 · outbound

This paper cites The extended utxo model,.

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts The extended utxo model,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:51:52.488978Z

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 7d93a2fb-2980-49e7-8fba-9ea3566551da · outbound

This paper cites Madmax: Surviving out-of-gas conditions in ethereum smart contracts,.

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts Madmax: Surviving out-of-gas conditions in ethereum smart contracts,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:51:52.282743Z

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 eb6fc423-a45d-4389-8a53-bc33487db939 · outbound

This paper cites Smartcheck: Static analysis of ethereum smart contracts,.

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts Smartcheck: Static analysis of ethereum smart contracts,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:51:52.094238Z

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 83b5cc15-069e-4e70-88a3-b2850ab065ec · outbound

This paper cites Sok: Transparent dishonesty: Front-running attacks on blockchain,.

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts Sok: Transparent dishonesty: Front-running attacks on blockchain,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:51:51.950497Z

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 9305f284-33db-41bf-b96c-d78f696ffe2e · outbound

This paper cites High-frequency trading on decentralized exchange markets,.

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts High-frequency trading on decentralized exchange markets,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:51:51.799180Z

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.

Pith citing papers

Observation 95c54c70-d6cb-4232-9592-c2a0a1523a7f · inbound

The Blockchain Execution Dilemma: Optimizing Revenue XOR Fair Ordering cites this paper.

The Blockchain Execution Dilemma: Optimizing Revenue XOR Fair Ordering Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts

Reference 32

Resolution: verified exact; arxiv_id, observed 2026-05-11T21:01:13.514185Z

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.