Paper Citation Record · LEDGER

A quantitative notion of economic security for smart contract compositions

As of 10 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2505.19006.

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

pith.paper-citation-record.v1
2505.19006 v1

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T14:28:40.165688Z

measured 27 of 27 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 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

27 of 27 outbound references displayed

verified exact5
verified fuzzy3
unresolved14
parse uncertain0
malformed identifier2
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 64186aba-e99f-4d16-9dd0-c4b822a3db3e · outbound

This paper cites In: ACM Asia Conference on Computer and Communications Security (ASIA CCS).

A quantitative notion of economic security for smart contract compositions In: ACM Asia Conference on Computer and Communications Security (ASIA CCS)

Reference 1

Resolution: malformed identifier; no resolver link, observed 2026-08-07T14:28:36.970520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b3514c5-2ab9-424a-897c-b8bdb4d01824 · outbound

This paper cites In: ACM SIG- PLAN Symposium on Principles of Programming Languages (POPL).

A quantitative notion of economic security for smart contract compositions In: ACM SIG- PLAN Symposium on Principles of Programming Languages (POPL)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T14:28:37.022094Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e30779c3-c144-44b8-94af-35174407090a · outbound

This paper cites In: IEEE Symposium on Security and Privacy.

A quantitative notion of economic security for smart contract compositions In: IEEE Symposium on Security and Privacy

Reference 3

Resolution: malformed identifier; no resolver link, observed 2026-08-07T14:28:37.086142Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48106980-e38c-455e-b266-80fe84b8171c · outbound

This paper cites In: ACM SIGSAC Conference on Computer and Communications Security (CCS).

A quantitative notion of economic security for smart contract compositions In: ACM SIGSAC Conference on Computer and Communications Security (CCS)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T14:28:37.207365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32ad8667-268e-4c73-9ce3-7a5c5d7960ec · outbound

This paper cites In: Workshop on Trusted Smart Contracts.

A quantitative notion of economic security for smart contract compositions In: Workshop on Trusted Smart Contracts

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T14:28:37.323976Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fa85a60-151e-45f7-8db9-4c59db8ad6e6 · outbound

This paper cites In: Financial Cryptography and Data Security (FC 2024).

A quantitative notion of economic security for smart contract compositions In: Financial Cryptography and Data Security (FC 2024)

Reference 6

Resolution: verified exact; doi, observed 2026-08-07T14:28:41.430328Z

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 74b8d1de-11dc-4bf7-8732-997a21221c7c · outbound

This paper cites In: Financial Cryptogra- phy and Data Security.

A quantitative notion of economic security for smart contract compositions In: Financial Cryptogra- phy and Data Security

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:28:43.763055Z

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 2aac9bf9-10d5-47a7-837a-eec87090ab99 · outbound

This paper cites In: ACM SIGSAC Conference on Computer and Communications Se- curity (CCS).

A quantitative notion of economic security for smart contract compositions In: ACM SIGSAC Conference on Computer and Communications Se- curity (CCS)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T14:28:37.650609Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 936bfa00-0420-49fb-848c-2adb387b2e71 · outbound

This paper cites an unresolved cited work.

A quantitative notion of economic security for smart contract compositions Unresolved cited work

Reference 9

Resolution: verified exact; doi, observed 2026-08-07T14:28:41.233486Z

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 715ca307-23b8-48a7-a20e-6bee55745229 · outbound

This paper cites In: IEEE Symp.

A quantitative notion of economic security for smart contract compositions In: IEEE Symp

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T14:28:37.861448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8dbe9274-52de-4e93-9888-6b59d63b66a3 · outbound

This paper cites In: IEEE Sym- posium on Security and Privacy.

A quantitative notion of economic security for smart contract compositions In: IEEE Sym- posium on Security and Privacy

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T14:28:37.985916Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9305d923-3bfa-4279-8c65-c621597cfce3 · outbound

This paper cites In: Crypto Valley Conference on Blockchain Technology (CVCBT).

A quantitative notion of economic security for smart contract compositions In: Crypto Valley Conference on Blockchain Technology (CVCBT)

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T14:28:38.112900Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a364da7-bedd-414e-a210-dbaa85ef0671 · outbound

This paper cites In: ACM Conference on Advances in Financial Technologies (AFT).

A quantitative notion of economic security for smart contract compositions In: ACM Conference on Advances in Financial Technologies (AFT)

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T14:28:38.201626Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be4b25ea-16e1-4a88-8e54-7bd9b4efc9a3 · outbound

This paper cites CEUR Workshop Proceedings, vol.

A quantitative notion of economic security for smart contract compositions CEUR Workshop Proceedings, vol

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:28:43.547039Z

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 d914b6f1-820d-4ec4-9410-908fcb52fd6b · outbound

This paper cites In: Financial Cryptography and Data Security Workshops.

A quantitative notion of economic security for smart contract compositions In: Financial Cryptography and Data Security Workshops

Reference 15

Resolution: verified exact; doi, observed 2026-08-07T14:28:40.966582Z

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 20d33a87-d409-4e8e-965b-52e8aaabef29 · outbound

This paper cites ACM Trans.

A quantitative notion of economic security for smart contract compositions ACM Trans

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T14:28:38.597569Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea04edab-cf07-4c6a-b785-b7112febbe64 · outbound

This paper cites Theoretical Computer Science538, 124–139 (2014).https://doi.org/https:// doi.org/10.1016/j.tcs.2014.04.022.

A quantitative notion of economic security for smart contract compositions Theoretical Computer Science538, 124–139 (2014).https://doi.org/https:// doi.org/10.1016/j.tcs.2014.04.022

Reference 17

Resolution: verified exact; doi, observed 2026-08-07T14:28:40.684862Z

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 f1b2448c-32d6-4202-a370-cd8b9d568a42 · outbound

This paper cites In: ACM SIGSOFT International Symposium on Software Testing and Analysis.

A quantitative notion of economic security for smart contract compositions In: ACM SIGSOFT International Symposium on Software Testing and Analysis

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T14:28:38.889643Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38196f27-01d7-4f73-8719-c5e81df0d9b1 · outbound

This paper cites In: International School on Formal Methods for the Design of Computer, Com- munication, and Software Systems (SFM).

A quantitative notion of economic security for smart contract compositions In: International School on Formal Methods for the Design of Computer, Com- munication, and Software Systems (SFM)

Reference 19

Resolution: verified exact; doi, observed 2026-08-07T14:28:40.405594Z

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 d7d1b0ab-df5a-478f-9e11-2e742ba639b9 · outbound

This paper cites an unresolved cited work.

A quantitative notion of economic security for smart contract compositions Unresolved cited work

Reference 20

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T14:28:42.091532Z

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 6369e584-3691-4d55-9af4-ff44739d370a · outbound

This paper cites In: Financial Cryptography.

A quantitative notion of economic security for smart contract compositions In: Financial Cryptography

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T14:28:39.297849Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a37e7216-f3ea-4642-84f9-c6e2c0e0ca70 · outbound

This paper cites Strengthening DeFi Security: A Static Analysis Approach to Flash Loan Vulnerabilities.

A quantitative notion of economic security for smart contract compositions Strengthening DeFi Security: A Static Analysis Approach to Flash Loan Vulnerabilities

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T14:28:39.446979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 323e5d1c-9598-4560-b9ec-f3cbdedee2f0 · outbound

This paper cites DeFiRanger: Detecting Price Manipulation Attacks on DeFi Applications.

A quantitative notion of economic security for smart contract compositions DeFiRanger: Detecting Price Manipulation Attacks on DeFi Applications

Reference 23

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T14:28:41.843176Z

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 ecd73492-efb4-4097-b658-10786a474f62 · outbound

This paper cites A Language for Smart Contracts with Secure Control Flow (Technical Report).

A quantitative notion of economic security for smart contract compositions A Language for Smart Contracts with Secure Control Flow (Technical Report)

Reference 24

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T14:28:41.616807Z

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 50b8904c-8d11-4c0a-adb5-6693b9902d25 · outbound

This paper cites This is becauseMhas no way to force other users to spend their tokens in the attack sequence.

A quantitative notion of economic security for smart contract compositions This is becauseMhas no way to force other users to spend their tokens in the attack sequence

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:28:43.345430Z

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 72a2f8a7-fa79-440d-af4d-d5d37c49afe2 · outbound

This paper cites an unresolved cited work.

A quantitative notion of economic security for smart contract compositions Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:28:43.156713Z

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 19e80b50-bbdb-42f8-a0fc-d0c8b655b08e · outbound

This paper cites an unresolved cited work.

A quantitative notion of economic security for smart contract compositions Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:28:42.910238Z

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

No inbound Pith citation observations are available.