{"as_of":"2026-08-10T15:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0b41f917f769d294d077e9323c30fa38a7f43d88032a5a684c76cc535660969c","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-10T06:31:04.303077+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-09T07:47:32.944734Z","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:7519de86063e148d09a1996a6054407ee05ac01d397415e37b14cdf383314907","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-09T07:47:32.944734Z","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:8f51fb220cef006f9750ec9180ba9571bd768b7e653c47afc33caec1c80fb3f2","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-09T07:47:32.944734Z","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:2eeee73b6c87586f70e20203b20c94924a95aa0cb7e7f2f4f045d5f0cc0a5de6","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-09T07:47:32.944734Z","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:c3e2b4c4c1cb1b75ae585cc0e8c692ea10bfce193495b83ec6b36230c7f01908","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-09T07:47:32.944734Z","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:0ae2af6c31ba50e3e46184dd25388099038369d9871cdf03899d34febf2c5dc2","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-09T07:47:32.944734Z","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:bc37de8048adbcc1e2c8cdb6c5499c108a5dca36bc5bcf4d9b9cc5bda81d634a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:47:32.944734Z","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:4d95d02e48b7e58319e79a6f753654aa4ac19a62d059cd5d6e5e62dfc66964c5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:47:32.944734Z","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:3ddb62238d5ba59b0d4b787d81d88fe192826ee869c862be92ac3f2479c4fb32","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-09T07:47:32.944734Z","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:b6aba5b547a80fd3967a4c6b6b8d7b49e5f6a9ce80d2cddcec33a25e3c95ab8c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:47:32.944734Z","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:9fb1e649b65e8adc293819c114e89f5377da16d4e7408622cdba37d09571fd40","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-09T07:47:32.944734Z","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:aae27b5890b9385c1010a344fe237546ceb586bde5e04bffab14f8ad2b26e38e","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-09T07:47:32.944734Z","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:74ac6423bc44aab81f6edd52bcb917db737012bfa9f31c96f63fb343fa0e7b79","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-09T07:47:32.944734Z","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:7a91c9959b61cece69999f345757f81fa761ab8d036bc7c64e4a095d684c90b5","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-09T07:47:32.944734Z","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:104b1a17d1ad6450d35f23a1726b312dc7b7d838360aaf936baeca2295821bf1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:47:32.944734Z","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:68cff4fb99d53515b964b4e9900376564bab291b55fb327d26c7b2258fdf62c5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:47:32.944734Z","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:2a9a10c18811fb53ffb18236284e37ce71efe9a4de158ddf6b00d387a702dd10","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-09T07:47:32.944734Z","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:7ddd28280e2c08390155cd02a2f31fb0f931fdceab14b1c7deca5e47d2929943","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:47:32.944734Z","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:2302cdbe19de6ba8bca168293499023234484a6f5453aa14286d4724b2ff2416","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-09T07:47:32.944734Z","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:d27fa76ae151e706b3d44449c20ca7183f442aa942f2e8134174968c72f6aa73","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:47:32.944734Z","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:0685f90c37b84a064ef2232c6a97003e3a92b1c32afa0230adde68dfd86e997a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:47:32.944734Z","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:10f92134d3e6b5d63afe390b5982b29aea3ca134b84291eab78f6fb73a8c411e","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-07-06T19:44:03.619879Z","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-09T07:47:32.944734Z","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:2118bc887835eabc55d028fa874277a0928581e2cada77386c0b39f41e26f25c","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-09T07:47:32.944734Z","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:da2deedcd851a2aa3c493ca2f50ad98c0b8e9483d56d542014d4a35d107143f6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07-06T18:39:29.270369Z","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-09T07:47:32.944734Z","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:b4600cce9083b33566d70143a50d50fe98d0f9a852d58c95f95fe660da174dbb","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:47:32.944734Z","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:c2d58fc725bb46e7206cad21a877bd25fe79afc69ddd1c8a518df6064a6d97a1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:47:32.944734Z","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:f6d5eb10bc9163656fc31c341f21beeb1831ce43ccae55d9004175cf3d5c0aa3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:47:32.944734Z","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:ec3f5c961977ffbbe688cbe24ba267aeef2aa02e791bcc39283965d00cdb422a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T07:47:32.944734Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"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."}