{"as_of":"2026-08-16T16:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:aef56293e27787272e2280253f85aa91aa4a2cec17a9e1737eca81b287b76ffd","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T14:28:40.165688Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2505.19006/citation-record","integrity":"/paper/2505.19006/integrity","json":"/paper/2505.19006/citation-record.json","paper":"/paper/2505.19006"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:36.970520Z","title":"In: ACM Asia Conference on Computer and Communications Security (ASIA CCS)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:36.970520Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:44d3459b65a90a06f871c5dcdf0ae168aee07f04c8fd10a0b238b83e4fae1088","observation_id":"64186aba-e99f-4d16-9dd0-c4b822a3db3e","resolution":{"observed_at":"2026-08-07T14:28:36.970520Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:37.022094Z","title":"In: ACM SIG- PLAN Symposium on Principles of Programming Languages (POPL)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:37.022094Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:d9fa187bbc306b878abbff7307afbe6259990404b55ab0d5294bb8cb4addbce1","observation_id":"8b3514c5-2ab9-424a-897c-b8bdb4d01824","resolution":{"observed_at":"2026-08-07T14:28:37.022094Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:37.086142Z","title":"In: IEEE Symposium on Security and Privacy","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:37.086142Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:8437399cf5ab6cd92431afea860e338557fab2bebcaebb24de17460ac51dcb7e","observation_id":"e30779c3-c144-44b8-94af-35174407090a","resolution":{"observed_at":"2026-08-07T14:28:37.086142Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:37.207365Z","title":"In: ACM SIGSAC Conference on Computer and Communications Security (CCS)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:37.207365Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:aef32cf1f1c2f66a6f47a8cb4b61d589fac9b659142038657d7b818b8af999cb","observation_id":"48106980-e38c-455e-b266-80fe84b8171c","resolution":{"observed_at":"2026-08-07T14:28:37.207365Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:37.323976Z","title":"In: Workshop on Trusted Smart Contracts","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:37.323976Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:affc03c846630a344ea483951e82b37e9664b8cbd8d44a08c53334bd12280852","observation_id":"32ad8667-268e-4c73-9ce3-7a5c5d7960ec","resolution":{"observed_at":"2026-08-07T14:28:37.323976Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-78679-2_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"In: Financial Cryptography and Data Security (FC 2024)","venue":"Lecture notes in computer science","work_id":"7953fe7b-ced2-4a29-895d-00caeacffda4","year":2025},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:37.419288Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:31a67e2636699e152b7615f387595e42cdb4152f392d1efa20d1c90bb5d60222","observation_id":"1fa85a60-151e-45f7-8db9-4c59db8ad6e6","resolution":{"observed_at":"2026-08-07T14:28:41.430328Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:43.683364Z","title":"In: Financial Cryptogra- phy and Data Security","venue":null,"work_id":"943713c0-49a0-4ba4-9869-a1780d779292","year":2025},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:37.542399Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:1da8843ea5def8befe638082560c2b15671e2e763fcaa4ff3931ca641cc30a67","observation_id":"74b8d1de-11dc-4bf7-8732-997a21221c7c","resolution":{"observed_at":"2026-08-07T14:28:43.763055Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:37.650609Z","title":"In: ACM SIGSAC Conference on Computer and Communications Se- curity (CCS)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:37.650609Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:ba44627aeb570e3a34ae40e4cc1f8cd70ad00492da8a9eb1946d2589e6e80c06","observation_id":"2aac9bf9-10d5-47a7-837a-eec87090ab99","resolution":{"observed_at":"2026-08-07T14:28:37.650609Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/jcs-2007-15302","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Journal of Computer Security","work_id":"9d871a9d-2686-4c58-bdac-18e71162f893","year":2007},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:37.749782Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:6c6a9397beec7fddee487a4d41b12f94b0bd71d46f50846d40960fd447e41190","observation_id":"936bfa00-0420-49fb-848c-2adb387b2e71","resolution":{"observed_at":"2026-08-07T14:28:41.233486Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:37.861448Z","title":"In: IEEE Symp","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:37.861448Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:de57e3846136bf0897d0cd47f74a4b084914fad0730e1b3751eeae8220d273c8","observation_id":"715ca307-23b8-48a7-a20e-6bee55745229","resolution":{"observed_at":"2026-08-07T14:28:37.861448Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:37.985916Z","title":"In: IEEE Sym- posium on Security and Privacy","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:37.985916Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:83c49afe24c86f74bfa6be48310f5db8cd1319583aaa7321e192776891bc35dd","observation_id":"8dbe9274-52de-4e93-9888-6b59d63b66a3","resolution":{"observed_at":"2026-08-07T14:28:37.985916Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:38.112900Z","title":"In: Crypto Valley Conference on Blockchain Technology (CVCBT)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:38.112900Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:7a94d6bbe8b8588cf20c1a519b0888b348e60fb4eb630e69d065c8580f9a9fc3","observation_id":"9305d923-3bfa-4279-8c65-c621597cfce3","resolution":{"observed_at":"2026-08-07T14:28:38.112900Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:38.201626Z","title":"In: ACM Conference on Advances in Financial Technologies (AFT)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:38.201626Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:292811da86f3ad213a03ca7ea70f70fbbb21af42cb6812b3c74cb50edc76272c","observation_id":"1a364da7-bedd-414e-a210-dbaa85ef0671","resolution":{"observed_at":"2026-08-07T14:28:38.201626Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:43.444531Z","title":"CEUR Workshop Proceedings, vol","venue":null,"work_id":"b54babc2-8ac6-4258-8daf-257c3a4bf005","year":2024},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:38.326289Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:d5c612a79361b6a74574ee191c37c5c57ea729902005fea440607c48b98d5f2d","observation_id":"be4b25ea-16e1-4a88-8e54-7bd9b4efc9a3","resolution":{"observed_at":"2026-08-07T14:28:43.547039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-32415-4_18","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"In: Financial Cryptography and Data Security Workshops","venue":"Lecture notes in computer science","work_id":"a4849981-d6ed-41f8-af6d-f9483969de72","year":2022},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:38.437804Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:02c0c9e29c73fdcf7f384a575ac015e4d034e3a05f1012b2221256935baa3a28","observation_id":"d914b6f1-820d-4ec4-9410-908fcb52fd6b","resolution":{"observed_at":"2026-08-07T14:28:40.966582Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:38.597569Z","title":"ACM Trans","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:38.597569Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:90cb4ba62ee325da0736ac51f75c8161c96daa3ef8c0d17484f308b518b71fff","observation_id":"20d33a87-d409-4e8e-965b-52e8aaabef29","resolution":{"observed_at":"2026-08-07T14:28:38.597569Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2014.04.022","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Theoretical Computer Science538, 124–139 (2014).https://doi.org/https:// doi.org/10.1016/j.tcs.2014.04.022","venue":"Theoretical Computer Science","work_id":"bc48efdc-deab-495a-b2c5-26c9c80a73c7","year":2014},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:38.738833Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:bbb78469a4daab06773b57b62df87d2e5909c943a40e2f18ee1c55e591efa89b","observation_id":"ea04edab-cf07-4c6a-b785-b7112febbe64","resolution":{"observed_at":"2026-08-07T14:28:40.684862Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:38.889643Z","title":"In: ACM SIGSOFT International Symposium on Software Testing and Analysis","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:38.889643Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:d9c74cc721a0a486917b9a516fbf868b4fe085546e30f0840006e85ae5e44663","observation_id":"f1b2448c-32d6-4202-a370-cd8b9d568a42","resolution":{"observed_at":"2026-08-07T14:28:38.889643Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-38874-3_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"In: International School on Formal Methods for the Design of Computer, Com- munication, and Software Systems (SFM)","venue":"Lecture notes in computer science","work_id":"abe23989-ef8d-4fac-88df-0d7491458e97","year":2013},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:38.990617Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:af82346ec8ce2f42fe88c9f2b4160a573ab012464601ee4dc3c3f4be4e077732","observation_id":"38196f27-01d7-4f73-8719-c5e81df0d9b1","resolution":{"observed_at":"2026-08-07T14:28:40.405594Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2022.98054","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:42.028335Z","title":null,"venue":null,"work_id":"df156a9c-2e97-4974-905b-a5d76d9ffca2","year":2022},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:39.135784Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:3d9f1058146f6e3cb80dbabe3c907b4b26e64c4491639c549d8124b1906e7080","observation_id":"d7d1b0ab-df5a-478f-9e11-2e742ba639b9","resolution":{"observed_at":"2026-08-07T14:28:42.091532Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:39.297849Z","title":"In: Financial Cryptography","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:39.297849Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:2b49a2faa0216da6794da2cd7e459a2b714b37701e20ffe46c3c74e06cc9f134","observation_id":"6369e584-3691-4d55-9af4-ff44739d370a","resolution":{"observed_at":"2026-08-07T14:28:39.297849Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.01230","last_updated":"2025-02-23T21:18:41Z","snapshot_observed_at":"2026-08-16T13:03:34.451102Z","submitted_at":"2024-11-02T12:42:01Z","title":"Strengthening DeFi Security: A Static Analysis Approach to Flash Loan Vulnerabilities","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.01230","snapshot_observed_at":"2026-08-07T14:28:39.446979Z","title":"CoRRabs/2411.01230(2025).https://doi.org/10.48550/ arXiv.2411.01230","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:39.446979Z"},"links":{"cited_paper":"/paper/2411.01230","citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:07af72f13310a1d6f53a283468ba3d2f666576f277804ac163b92cdfdbe881c8","observation_id":"a37e7216-f3ea-4642-84f9-c6e2c0e0ca70","resolution":{"observed_at":"2026-08-07T14:28:39.446979Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.15068","last_updated":"2021-04-30T15:38:16Z","snapshot_observed_at":"2026-08-05T16:00:31.347930Z","submitted_at":"2021-04-30T15:38:16Z","title":"DeFiRanger: Detecting Price Manipulation Attacks on DeFi Applications","version":1},"cited_work":{"arxiv_id":"2104.15068","doi":null,"metadata_source":"pith","pith_arxiv_id":"2104.15068","snapshot_observed_at":"2026-08-07T14:28:41.755190Z","title":"DeFiRanger: Detecting Price Manipulation Attacks on DeFi Applications","venue":"cs.CR","work_id":"96e5cc56-d719-402e-91a5-639a06111982","year":2021},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:39.584732Z"},"links":{"cited_paper":"/paper/2104.15068","citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:b1e7cf429c26899890d2f66b7eb6d557973ba9068d478101f99ebe2441e455d2","observation_id":"323e5d1c-9598-4560-b9ec-f3cbdedee2f0","resolution":{"observed_at":"2026-08-07T14:28:41.843176Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.01204","last_updated":"2025-04-22T22:04:29Z","snapshot_observed_at":"2026-08-16T13:38:09.431231Z","submitted_at":"2024-07-01T11:51:21Z","title":"A Language for Smart Contracts with Secure Control Flow (Technical Report)","version":2},"cited_work":{"arxiv_id":"2407.01204","doi":null,"metadata_source":"pith","pith_arxiv_id":"2407.01204","snapshot_observed_at":"2026-08-07T14:28:41.534984Z","title":"A Language for Smart Contracts with Secure Control Flow (Technical Report)","venue":"cs.CR","work_id":"b9e7cdbf-d1f0-48d9-8fa8-04811477134d","year":2024},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:39.748134Z"},"links":{"cited_paper":"/paper/2407.01204","citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:ffc7537faae73eca9013ab0ad0ad171888ca7a9ffe33e8a62c4d0b3ea8a86cda","observation_id":"ecd73492-efb4-4097-b658-10786a474f62","resolution":{"observed_at":"2026-08-07T14:28:41.616807Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:43.261216Z","title":"This is becauseMhas no way to force other users to spend their tokens in the attack sequence","venue":null,"work_id":"9401374c-fb30-42a0-a2cd-943665b75305","year":null},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:39.874899Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:7a254f63735881c53dca181d43532e9a444f66f1bfabec3638e871b0f987f8ba","observation_id":"50b8904c-8d11-4c0a-adb5-6693b9902d25","resolution":{"observed_at":"2026-08-07T14:28:43.345430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:43.039122Z","title":null,"venue":null,"work_id":"6e8135bf-f0df-4ff6-a287-3b86061d5512","year":null},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:40.017865Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:bcdcc83b3297100c8d31974cd1efea1a4e6a264380b8f911b31598a20181cf98","observation_id":"72a2f8a7-fa79-440d-af4d-d5d37c49afe2","resolution":{"observed_at":"2026-08-07T14:28:43.156713Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:28:42.838557Z","title":null,"venue":null,"work_id":"8c063ece-38ec-45ab-83c3-3e671efb88e0","year":null},"citing_paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T14:28:40.165688Z"},"links":{"citing_paper":"/paper/2505.19006"},"observation_digest":"sha256:32531d6c2ba4fe6179d46d70aa20b9e88669ee93eabc2ca11c3563db9c3de7cb","observation_id":"19e80b50-bbdb-42f8-a0fc-d0c8b655b08e","resolution":{"observed_at":"2026-08-07T14:28:42.910238Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.19006","last_updated":"2025-05-25T07:10:55Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-16T04:20:03.802642Z","submitted_at":"2025-05-25T07:10:55Z","title":"A quantitative notion of economic security for smart contract compositions"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":2,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":14,"verified_exact":5,"verified_fuzzy":3},"total_outbound_references":27},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2505.19006."}