{"as_of":"2026-08-21T05:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:cf8602285fbbcb638367e808bf65cae0b5de16f524a7f6d540d396019b291df3","coverage":[{"denominator":68,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":68,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T10:27:34.713351Z","state":"measured"},{"denominator":68,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":68,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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/1908.11227/citation-record","integrity":"/paper/1908.11227/integrity","json":"/paper/1908.11227/citation-record.json","paper":"/paper/1908.11227"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:27:36.434914Z","title":"[Online]","venue":null,"work_id":"deb2cdc6-5dc4-4306-85ad-ac7114f1d987","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.488274Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:9ca83c3d897301d5b3894717fce54e183b41eda941b6be778eaf1348de478aa2","observation_id":"3fb4af2f-5ea6-4717-9249-e7230dce07a9","resolution":{"observed_at":"2026-08-14T10:27:36.438386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1806.00555","last_updated":"2019-01-08T02:59:04Z","snapshot_observed_at":"2026-08-18T20:29:56.655257Z","submitted_at":"2018-06-01T22:24:36Z","title":"Smart Contracts for Machine-to-Machine Communication: Possibilities and Limitations","version":2},"cited_work":{"arxiv_id":"1806.00555","doi":null,"metadata_source":"pith","pith_arxiv_id":"1806.00555","snapshot_observed_at":"2026-08-14T10:27:35.938495Z","title":"Smart Contracts for Machine-to-Machine Communication: Possibilities and Limitations","venue":"cs.CY","work_id":"9820c29f-56dd-47a3-8fae-f22cc02f7f56","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.492294Z"},"links":{"cited_paper":"/paper/1806.00555","citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:150d5560dbd3a6ca52db401bdd7577293865ccb6889041ff78a39f3b8c69f24b","observation_id":"69304ce5-0016-46a7-a4ad-41477c49643b","resolution":{"observed_at":"2026-08-14T10:27:35.942187Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:34.496160Z","title":"A survey of attacks on ethereum smart contracts sok,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.496160Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:43392479b2fa7188aea36e23178637e85da08768fac01534a2906ac646f7a5f2","observation_id":"bd13db37-619b-4c06-b97c-a7631ae27ac6","resolution":{"observed_at":"2026-08-14T10:27:34.496160Z","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-14T10:27:36.424380Z","title":"[Online]","venue":null,"work_id":"ba21633c-b0e3-4fc0-803e-6f5fece9846c","year":2016},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.500040Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:864e7ddccded61396fe68525b8be9d7690a61437d454551760f28722e8bb15b2","observation_id":"56e794a2-6b13-4380-a5eb-50188fe25d3f","resolution":{"observed_at":"2026-08-14T10:27:36.427967Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.413533Z","title":"[Online]","venue":null,"work_id":"8eb8b74c-1482-4409-bc8d-fe54dadd5942","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.503274Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:ba4c0671794d67f039612e8eeee64795fcb2428a19523e5aeba673e8e25f8142","observation_id":"538dfe47-a49d-44e0-98d2-e34a5a80a5bd","resolution":{"observed_at":"2026-08-14T10:27:36.417156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.329013Z","title":"[Online]","venue":null,"work_id":"1e75861b-322d-4c02-ab46-3b87e754e173","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.506681Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:6b9e6446803f74163d6ff7f0e9c7bacbe29994a6fe6f5d0e26bcb9dfdd47fa83","observation_id":"3b9f9778-ccc2-4dcf-98a6-4c1540b68984","resolution":{"observed_at":"2026-08-14T10:27:36.363879Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.317214Z","title":"Mythril classic: an open-source security analysis tool for ethereum smart contracts","venue":null,"work_id":"edfe3bf4-0337-402a-8229-aa9ba3fcb12d","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.514184Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:088a10f663f8badc32830d5a5d629301378e757cfc970044f01bd226fd4ec0d8","observation_id":"064c0654-1d9c-4984-aea6-57a65fae65a5","resolution":{"observed_at":"2026-08-14T10:27:36.321670Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:34.517403Z","title":"Making smart contracts smarter,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.517403Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:164ff6f3fac9326910ecd9d455bcead7290388fcc02eb6ea2cfe3e9e148d4f18","observation_id":"86f92987-eac0-4cb2-bef1-401518aad301","resolution":{"observed_at":"2026-08-14T10:27:34.517403Z","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-14T10:27:36.305720Z","title":"Manticore: a symbolic execution tool for analysis of smart contracts and binaries,","venue":null,"work_id":"a05faf1e-4813-4c9c-91b5-f5b0bf9109a2","year":2017},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.520606Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:5c75e32d55db9f6cead60329389b632898f26c08c99afa92f26fcb8944d1080b","observation_id":"3bc722b7-1937-4898-b5cf-b8d6d35cb666","resolution":{"observed_at":"2026-08-14T10:27:36.310093Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.294556Z","title":"ZEUS: analyzing safety of smart contracts,","venue":null,"work_id":"cdac69f0-ffa6-44af-8792-215e55f7c342","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.523789Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:98d6f95a599dfbd4b6035c8362e5d3c58fcb179177c2ae90be6fbc8cfbf8255f","observation_id":"78375144-f3f1-4c3f-8491-f2bdd4bad1bd","resolution":{"observed_at":"2026-08-14T10:27:36.298246Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.284574Z","title":"Smt-based verification of solidity smart contracts,","venue":null,"work_id":"7771fd94-05f5-408d-8c78-8853f24271b1","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.526966Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:0242e60cc03dc28c42f67009621b3de63f22a263b6d50bdf8977b893ed0bdec2","observation_id":"8e693029-b8fc-4d89-9749-e14d4b550db9","resolution":{"observed_at":"2026-08-14T10:27:36.287926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8917.11689","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:27:35.797906Z","title":"Combinatorial sketching for finite programs,","venue":null,"work_id":"a42fca7b-aca6-4544-b761-1e58b262aa6e","year":2006},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.530150Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:c41c5c7c1173bea52ddc5f8b4f3869460fbaea1c9fbd5088dd26a60bca5f1017","observation_id":"c4d06651-a774-4264-b1fa-62c93abdc2b6","resolution":{"observed_at":"2026-08-14T10:27:35.803218Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:34.533173Z","title":"Transit: Specifying protocols with concolic snippets,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.533173Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:3275fbcb7630dbfd581da98e4d963ec585f0d4a42c689f3ead81b1560c97f189","observation_id":"1aca2281-d4f2-4c23-89a8-9dc4aec0c752","resolution":{"observed_at":"2026-08-14T10:27:34.533173Z","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-14T10:27:36.272677Z","title":"Program synthesis by sketching,","venue":null,"work_id":"126cdedf-54ff-4c40-96c1-b48cce941d74","year":2008},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.536281Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:075206a84a29f21c709d84c28e28815ba741117788e939a6c3f27dd667db45db","observation_id":"0caa8d55-82e5-4e18-a8eb-6b508aaf014e","resolution":{"observed_at":"2026-08-14T10:27:36.276544Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.239957Z","title":"[Online]","venue":null,"work_id":"92869636-c184-46b4-a310-fe480b3b8862","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.539441Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:8284a37a8026c5e691f77d600cdfd1e2f21bd2116ac6195e1738ab9cfede012b","observation_id":"ad4c3060-fb41-4cfb-8fcb-0d031e5408f1","resolution":{"observed_at":"2026-08-14T10:27:36.250196Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.228879Z","title":"Solidity 0.5.3,","venue":null,"work_id":"b518e56c-5888-4e3c-b64e-6aa6d04003c5","year":2019},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.542482Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:42c95ef2bee20e4ae92f31ccf20081098e9139ce9534861827ef3ae1715f3b31","observation_id":"e752e21d-32f2-439c-b1ab-241945840e25","resolution":{"observed_at":"2026-08-14T10:27:36.232481Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:34.545628Z","title":"Finding the greedy, prodigal, and suicidal contracts at scale,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.545628Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:3841005cde58f430815e0ff13c0ec0656214b23b397f3d2f3d5ecbe596e9a95e","observation_id":"b86e9b5d-7175-430b-bf1a-c5f648b7993f","resolution":{"observed_at":"2026-08-14T10:27:34.545628Z","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-14T10:27:34.549058Z","title":"Securify: Practical security analysis of smart contracts,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.549058Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:cfbd79994209227d37427a8c096c6764d73a0ddcf4769324e227335b4f074ff1","observation_id":"78119091-41b1-408c-9ddf-389bef32e34f","resolution":{"observed_at":"2026-08-14T10:27:34.549058Z","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-14T10:27:34.552275Z","title":"Madmax: Surviving out-of-gas conditions in ethereum smart contracts,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.552275Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:d397118a8c1936fe2c8b749e6e2c694c834359256d528407d88f416f87e2d273","observation_id":"4a385dbc-835a-453c-90f0-b9eebd2b761c","resolution":{"observed_at":"2026-08-14T10:27:34.552275Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1809.03981","last_updated":"2018-09-11T15:39:35Z","snapshot_observed_at":"2026-08-21T04:01:26.367242Z","submitted_at":"2018-09-11T15:39:35Z","title":"Vandal: A Scalable Security Analysis Framework for Smart Contracts","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1809.03981","snapshot_observed_at":"2026-08-14T10:27:34.555673Z","title":"Vandal: A scalable security analysis framework for smart contracts,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.555673Z"},"links":{"cited_paper":"/paper/1809.03981","citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:5bb190557478c0945c5c4c747e4001c97a3f02c715d03f849a7e7478ca7cf202","observation_id":"a9a30cfb-5fd2-43ff-a045-ac76e819217d","resolution":{"observed_at":"2026-08-14T10:27:34.555673Z","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-14T10:27:36.218496Z","title":null,"venue":null,"work_id":"cfb7f47a-b147-4fb1-8147-a6544627c83e","year":2007},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.559200Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:67fdfdb01024c8e602d36b686c9773831dac3bfd6e5df23e41d2e0b1a53c0e56","observation_id":"32976f64-e051-4158-b680-5072536e9666","resolution":{"observed_at":"2026-08-14T10:27:36.222006Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.207932Z","title":"Z3: An efficient smt solver,","venue":null,"work_id":"63063b79-0344-411a-9bff-a98c350b6bd2","year":2008},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.562528Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:cbd368b999eda2eee77081cee7660f5c26eb832f609eed55c1a6ed3765d9d09d","observation_id":"ebd56cc6-6b8c-4202-86f1-4ca8ec5a1bf0","resolution":{"observed_at":"2026-08-14T10:27:36.211354Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.198305Z","title":"Barrett, C","venue":null,"work_id":"b646f996-df56-4ed5-bfd6-250a662539d7","year":2011},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.565687Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:c0616dda4d7530623ac14f50aeaf0965c9034004855dabbe2702449a79425e1a","observation_id":"cea6480e-2df1-4e95-968c-f633ebc40241","resolution":{"observed_at":"2026-08-14T10:27:36.201867Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3990.53996","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:27:35.622281Z","title":"Interprocedural side-effect analysis in linear time,","venue":null,"work_id":"f35a325e-90a1-4890-8f71-adb2b30aea9a","year":1988},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.568758Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:0ea489b88c488e07c02ef7527ed74d6b0209fb6a4df8c9cd88ea24ccd518bec0","observation_id":"4512fe1d-9b23-479a-b522-ceea134f009b","resolution":{"observed_at":"2026-08-14T10:27:35.627607Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.188218Z","title":"Oyente: An analysis tool for smart contracts,","venue":null,"work_id":"e5e19bc6-fc29-48af-b57e-46d0d725242a","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.571764Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:9fe3abe0833ae7e1894a3a40e6256ee270b00bb8ec31bf04059f10cfe8795c28","observation_id":"16cec599-8547-4382-9465-3e28a7e9f2e3","resolution":{"observed_at":"2026-08-14T10:27:36.191743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.178992Z","title":"Etherscan,","venue":null,"work_id":"21118570-4f61-43e3-9dcd-870e7eaa9542","year":2019},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.574948Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:b6eb5523be7e673562429ae09bcdb3ae379fdaea3b177e8e5b3e040f13799c58","observation_id":"befab6c1-b0d2-4881-8c70-4fa7c9e594c5","resolution":{"observed_at":"2026-08-14T10:27:36.182202Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.169615Z","title":"Zeus evaluation,","venue":null,"work_id":"c7958896-9a48-4f7d-87f7-ad6e86f9f4e3","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.578052Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:a84aff9f04b6fb7a4083e0be33d6c5418630edde400c1c4f2ff977919f5fffa7","observation_id":"37b471d5-3b37-4e6f-adf4-3c0ec4f3902a","resolution":{"observed_at":"2026-08-14T10:27:36.172842Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.159448Z","title":"[Online]","venue":null,"work_id":"352352f3-eca2-4dfc-9bab-1aaaaa946f39","year":2019},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.581036Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:b9f660572e9420171d4a4c92d1b20c124059c0bdc35eed67261f33fa829569e0","observation_id":"0cafed58-26ca-48eb-a38f-1abe1de9c621","resolution":{"observed_at":"2026-08-14T10:27:36.163044Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.150113Z","title":"[Online]","venue":null,"work_id":"2ab6a26e-9f53-4948-92dd-d2bb2f783d9e","year":2019},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.584309Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:943bf548aec6e02cc54218c85ba2df5eb008926c51b07148c7ba6ca73002e996","observation_id":"a18b2d75-ae29-4733-a216-a2abe9fd8f2a","resolution":{"observed_at":"2026-08-14T10:27:36.153437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.139638Z","title":"Under-optimized smart contracts devour your money,","venue":null,"work_id":"206f07ab-03cd-4cfb-8ed4-6205b586bd4f","year":2017},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.587655Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:555de53b4894107ca56de6c9ef70942333be618df48eee42a6fd32a025ec9068","observation_id":"c555189e-346c-4608-8a69-1206d9bb9e3c","resolution":{"observed_at":"2026-08-14T10:27:36.144023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1811.10403","last_updated":"2019-08-07T09:42:09Z","snapshot_observed_at":"2026-08-14T17:55:07.824752Z","submitted_at":"2018-11-22T13:19:07Z","title":"Running on Fumes--Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1811.10403","snapshot_observed_at":"2026-08-14T10:27:34.590691Z","title":"GASTAP: A gas analyzer for smart contracts,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.590691Z"},"links":{"cited_paper":"/paper/1811.10403","citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:8ab60f5dedc0edd94aff047a642b4f261fcd9572ff5bcd26d003aecd59a59c92","observation_id":"67bd3660-41a5-4aa3-9b19-582706d11aeb","resolution":{"observed_at":"2026-08-14T10:27:34.590691Z","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-14T10:27:34.594182Z","title":"Online detection of effectively callback free objects with applications to smart contracts,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.594182Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:99e7d717ac40575803547c9efa2bf35ee6a49c3435fbed231cd512f24be146a4","observation_id":"797af6a0-fb9c-4362-8185-a9ad5fc8f082","resolution":{"observed_at":"2026-08-14T10:27:34.594182Z","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-14T10:27:36.130039Z","title":"Reguard: Finding reentrancy bugs in smart contracts,","venue":null,"work_id":"6a165ec2-13b1-45fa-819a-b4adf7a7d87f","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.597612Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:5077a0a7ce26a615cc8c87e17a5d7c9076244636c7debf914fe2b2a625de4db3","observation_id":"00fa9336-2b38-445b-a7da-e6710b055b27","resolution":{"observed_at":"2026-08-14T10:27:36.133585Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.120551Z","title":"Formal verification for solidity contracts","venue":null,"work_id":"042bd625-d2c6-4707-b32d-66b4b4a65202","year":2015},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.600979Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:cb91a6b3dc8b330848a8c09da8132efa90f596a4759efa25225a8b8efccf9fdc","observation_id":"fcb80d26-3604-41ac-a9a1-9e17ae268a79","resolution":{"observed_at":"2026-08-14T10:27:36.124045Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.110995Z","title":"Defining the ethereum virtual machine for interactive theorem provers,","venue":null,"work_id":"773061d1-a90b-45e7-9965-1fc5492456bb","year":2017},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.604320Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:a7e0d22a26b0321e5e746ca971977bd2c5724edb1a4a6a860ab8499df230fb9a","observation_id":"7b5de67e-26c9-4c38-a40b-10440c0fd627","resolution":{"observed_at":"2026-08-14T10:27:36.114495Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:34.607739Z","title":"Formal verification of smart contracts: Short paper,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.607739Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:862895333d0ae6b1e80392f63ef6bf06dfd53b25a707079a6825d1c8584bcf40","observation_id":"30b2f291-95f7-4b8e-bb8f-44010f2b45e6","resolution":{"observed_at":"2026-08-14T10:27:34.607739Z","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-14T10:27:36.100947Z","title":"A semantic frame- work for the security analysis of ethereum smart contracts,","venue":null,"work_id":"57695d03-cd8a-4940-a224-b220006429f0","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.611225Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:757a65972629c8ffbd1a356b439b7a8feb246e512f37c67dcada79ad67030cac","observation_id":"26efe8c0-59e4-4b0e-9403-81db48942b39","resolution":{"observed_at":"2026-08-14T10:27:36.104438Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:34.614490Z","title":"Towards verifying ethereum smart contract bytecode in isabelle/hol,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.614490Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:f85540656eff2c6144307173f09a712207acaa0caf740aedbe2d39a7dc766edc","observation_id":"1347b8c0-2d0c-4fc8-8e1f-e129e978e28f","resolution":{"observed_at":"2026-08-14T10:27:34.614490Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1812.08829","last_updated":"2019-04-29T17:47:46Z","snapshot_observed_at":"2026-08-14T17:40:13.795533Z","submitted_at":"2018-12-20T20:24:51Z","title":"Formal Specification and Verification of Smart Contracts for Azure Blockchain","version":2},"cited_work":{"arxiv_id":"1812.08829","doi":null,"metadata_source":"pith","pith_arxiv_id":"1812.08829","snapshot_observed_at":"2026-08-14T10:27:35.469571Z","title":"Formal Specification and Verification of Smart Contracts for Azure Blockchain","venue":"cs.PL","work_id":"87c4a5fd-6fb6-41c1-8e2f-4894c352c9a3","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.618464Z"},"links":{"cited_paper":"/paper/1812.08829","citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:caeb938e77d38fd04791262e503e5924e21011ff7a8b60a635e93a839812609f","observation_id":"c045e6a7-c508-46ef-82ef-13ef9e045cd2","resolution":{"observed_at":"2026-08-14T10:27:35.473478Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.091283Z","title":"Contractfuzzer: fuzzing smart contracts for vulnerability detection,","venue":null,"work_id":"57658b50-93ad-476c-a7f1-8fd1bc17bbbd","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.622046Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:76352d3fa5321b5e608e1de3bcd4cc6d0bebbcadc66d9359c3e1638f8ef3898f","observation_id":"531528b3-4810-49cd-a459-69a87d4d2559","resolution":{"observed_at":"2026-08-14T10:27:36.094739Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.081905Z","title":"The seahorn verification framework,","venue":null,"work_id":"cfc94c26-7810-4d33-93fd-4e78701d1f91","year":2015},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.625314Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:bce73e905fda5047dd963a3ed7d544f5e011b1c608f3035a0c70051ed015cc58","observation_id":"1641aea9-8861-4bad-a725-65f6de9ae655","resolution":{"observed_at":"2026-08-14T10:27:36.085215Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:34.628643Z","title":"Strictly declarative specification of sophisticated points-to analyses,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.628643Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:7473b52d1bd7ff76c99ac8ea1191b129761ece96d62e72d813a4a15092d12e94","observation_id":"372dd3e9-a9bf-494c-9627-83fdd529ce21","resolution":{"observed_at":"2026-08-14T10:27:34.628643Z","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-14T10:27:36.072702Z","title":"Nipkow, M","venue":null,"work_id":"70a7efe1-21ff-4f40-b831-af661dfd357c","year":2002},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.631718Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:6bb7568541d187298b9ddf3cb6f9ecb1678ace58df51ff08bff0f1707b6319f0","observation_id":"f57fde0a-c5b5-49af-aff0-cf9f9c968919","resolution":{"observed_at":"2026-08-14T10:27:36.075961Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.063092Z","title":"Dependent types and multi- monadic effects in F*,","venue":null,"work_id":"90e3f874-92d3-45e5-b4d1-81106b05dccb","year":2016},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.634840Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:dc5a79646a2e7c8d62901474941f5544800e66bef541d1d5ed34c90e3e03b3f0","observation_id":"7194312d-9eb5-4db0-adf4-bd713aed868a","resolution":{"observed_at":"2026-08-14T10:27:36.066469Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.052992Z","title":"Kevm: A complete formal semantics of the ethereum virtual machine,","venue":null,"work_id":"6c83a435-3d45-4ed5-893f-de3b4a35e1a9","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.638910Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:c42940fab3e1b71e7030698889f1f634f1a7d43a2516dce6289be6a7b7d311ba","observation_id":"41751ad5-df99-425e-b568-4045baededb7","resolution":{"observed_at":"2026-08-14T10:27:36.056383Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.042518Z","title":"An overview of the K semantic frame- work,","venue":null,"work_id":"1b71a37f-19e6-4c8e-87d6-6d285e6c3224","year":2010},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.642151Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:8e90ae46ed140b5ca213a9edc4fcc901a8784f582642ceb0af3def98a8c9ca90","observation_id":"9586966a-575f-452e-a430-64ffb6ac33b8","resolution":{"observed_at":"2026-08-14T10:27:36.046169Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.032981Z","title":"Openzeppelin: Safemath,","venue":null,"work_id":"38edcc7e-9c08-4859-acde-2b1dcf066a10","year":2018},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.645692Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:a0c68412f4baaf1f8c7cb598aa3ed39731cbd06679e547bcace71dac7176b5a1","observation_id":"240f0907-8339-40c7-a601-81decd999c43","resolution":{"observed_at":"2026-08-14T10:27:36.036341Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:34.648751Z","title":"A static analyzer for large safety-critical software,","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.648751Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:5fa7990a27ecf8c28e4a41083c206a74a4488bdcfbae816477b21ff618bde92e","observation_id":"e8dec782-6e91-42c0-93e9-70baa43b48cb","resolution":{"observed_at":"2026-08-14T10:27:34.648751Z","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/s10703-009-0089-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-19T11:03:45.297681Z","title":"Why does astr ´ee scale up?","venue":"Formal Methods in System Design","work_id":"35ec86f7-369b-4e4f-964f-6f3f511b377a","year":2009},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.651603Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:9a49a12db86a358f49593c60ec424726efb6a142a6c161a1550a85d566a71f96","observation_id":"abda8733-78ae-46b5-8211-4acfc5f0c670","resolution":{"observed_at":"2026-08-14T10:27:34.757084Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.022590Z","title":"Sparrow,","venue":null,"work_id":"b5a3d52b-c129-45b7-a863-e2d3ecbc511a","year":2019},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.655135Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:bd96e79a55930458ba199de0d9c8c7828f04497cacfc39faecd44576152c67c2","observation_id":"9bdf5ce2-854c-4f76-805b-5978ac4f8d5e","resolution":{"observed_at":"2026-08-14T10:27:36.025922Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:34.658185Z","title":"Frama-c: A software analysis perspective,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.658185Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:195c6c8757ca8aa0c8fa62a3b877659692fef232ab69cd1f208702a47d3b3a97","observation_id":"1752b8c4-a26c-4784-af80-26404673255f","resolution":{"observed_at":"2026-08-14T10:27:34.658185Z","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-14T10:27:36.012138Z","title":"Frama-c: a source-code analyzer of c software","venue":null,"work_id":"1fb5cfbe-d9f3-4933-b185-e481d2902460","year":2019},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.661563Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:bf228251da2c651aee252da274d37091c39bd1c02b2d82e5164594536f257e2b","observation_id":"1b22e15f-b639-475a-ade6-d88f674eecd8","resolution":{"observed_at":"2026-08-14T10:27:36.016010Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7880.23878","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:27:35.347842Z","title":"Improving integer security for systems with kint,","venue":null,"work_id":"e07555fa-fd30-49ec-9b93-4df6daaf1e60","year":2012},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.664702Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:e3ad67bbf0d3161a8b9fdd8979f733749e9373c627d3837be98b6358a1c52da9","observation_id":"20d5319c-6502-4336-a20c-af3263520a1b","resolution":{"observed_at":"2026-08-14T10:27:35.352941Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:36.001238Z","title":"Intscope: Automatically detecting integer overflow vulnerability in X86 binary using symbolic execution,","venue":null,"work_id":"2c67dfc3-7de2-4235-bf35-5a248af02279","year":2009},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.667906Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:1706ba4ecee02e0c0ebd79d7045bd2d7bee739eb991c964451328f8c1e1d2413","observation_id":"f17c2def-b215-4697-a5a2-2be80b906aba","resolution":{"observed_at":"2026-08-14T10:27:36.004947Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5768.18557","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:27:35.286567Z","title":"Dynamic test generation to find integer bugs in x86 binary linux programs,","venue":null,"work_id":"5bdcdbda-c75c-4261-887f-de85140f7a19","year":2009},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.670999Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:dad571c60c9e98f9d0da1bca65e6e960d1ad08e533ce7e79c30710c1ecc924f4","observation_id":"32d892a7-9c2d-474c-b846-c62457a6631c","resolution":{"observed_at":"2026-08-14T10:27:35.291841Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:35.990253Z","title":"Modular bug-finding for integer overflows in the large: Sound, efficient, bit-precise static analysis,","venue":null,"work_id":"54bdd105-a4cb-4791-87a6-4e1dc59cc6a2","year":2009},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.674189Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:6016173b0345ae51e7e750e78bce1116dfdfee84c7e7979e6628f309d5fcce65","observation_id":"0aa54718-e7ec-4ad1-85e0-80365b5af122","resolution":{"observed_at":"2026-08-14T10:27:35.994280Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:34.677171Z","title":"Targeted automatic integer overflow discovery using goal-directed conditional branch enforcement,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.677171Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:b4dd723a6e5f63b20593a6710472bdbffae199fef629a7f3a4dbbb0a51165698","observation_id":"baa3b26b-27c6-4801-9d1e-2433afb08014","resolution":{"observed_at":"2026-08-14T10:27:34.677171Z","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-14T10:27:34.680528Z","title":"Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints,","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.680528Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:b25ddd804cef9a38ff061951084d76c378acc802f77c55dc4d2052cd3a5bb84b","observation_id":"ca5b3657-d86d-4889-874d-d66152a9e17f","resolution":{"observed_at":"2026-08-14T10:27:34.680528Z","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-14T10:27:34.683773Z","title":"Systematic design of program analysis frameworks,","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.683773Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:41a895625b009a9f1421e907dd1768f5923adc900f55015c263a658652798d12","observation_id":"c1ea97a0-40d4-4234-a637-5ba40b42175c","resolution":{"observed_at":"2026-08-14T10:27:34.683773Z","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-14T10:27:34.686997Z","title":"The octagon abstract domain,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.686997Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:4607d0363313b8276050432fe17ca9bc5541b7004505d4aa1ea86111c193a0c1","observation_id":"b84685f8-783b-4387-81d7-f6bde5e9c803","resolution":{"observed_at":"2026-08-14T10:27:34.686997Z","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-14T10:27:35.980008Z","title":"A tool for checking ansi-c programs,","venue":null,"work_id":"c99a6bbb-c542-438f-b0b1-2b2d6949f62a","year":2004},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.690856Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:1c9963e4614bf2e5cb1e143f47d2bc3476f16e022c6036d9e82ec0122e1889e8","observation_id":"f9377107-df12-40fb-b9c0-abc6094e4411","resolution":{"observed_at":"2026-08-14T10:27:35.983706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:35.969998Z","title":"How to avoid proving the absence of integer overflows,","venue":null,"work_id":"761e2bc4-cb3c-4a45-8b6b-15b0c7a465da","year":2015},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.694165Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:2648061b0b2c638b972739673766930d70c1a8a906c8c4f0f9c7ea491a1b32c8","observation_id":"b0136ac0-c683-48e0-97f2-7046c27ea58d","resolution":{"observed_at":"2026-08-14T10:27:35.973614Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2044.13320","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:27:35.059655Z","title":"Flow-insensitive static analysis for detecting integer anomalies in programs,","venue":null,"work_id":"057bda02-8ff5-4447-9d87-195e9e5b2378","year":2007},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.697301Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:318b3bdd751769631d1a5657f94671f1dc6b1a78004ab59465a299298d4e2769","observation_id":"16535141-d66f-460e-a551-9778080773b2","resolution":{"observed_at":"2026-08-14T10:27:35.065975Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:35.959560Z","title":"Using type qualifiers to analyze untrusted integers and detecting security flaws in c programs,","venue":null,"work_id":"f1471086-15ec-46d3-956c-4c41bcf26324","year":2006},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.700499Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:6dc3cec532c265bba43538f3afd1cb32f3fbf19ba98e9f298ac6a46784d1ea71","observation_id":"ad8e2071-280c-4c36-ada4-f8941fae7a28","resolution":{"observed_at":"2026-08-14T10:27:35.963285Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:35.948800Z","title":"Sound input filter generation for integer overflow errors,","venue":null,"work_id":"52c54a96-cc19-4949-9753-9a6727af0d45","year":2014},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.703479Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:a8f7bc149f3919ddc1c88e498dd932592ee3ba5501a0258e62a47e2adba897ea","observation_id":"341ca597-2735-4216-9e85-5b225baded85","resolution":{"observed_at":"2026-08-14T10:27:35.953052Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:34.710315Z","title":"Program transformations to fix c integers,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.710315Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:f815a0e9f91d50e6b51d5b58e97de4b7db315958367773509fe6134a9bfa581b","observation_id":"bed756f8-5138-4e35-bf55-8d3ffe8027b3","resolution":{"observed_at":"2026-08-14T10:27:34.710315Z","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":"5562.31556","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:27:34.885811Z","title":"Intpti: Automatic integer error repair with proper-type inference,","venue":null,"work_id":"20d311da-984d-46d7-9af4-c8e1299aeb3a","year":2017},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.713351Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:1f15bc2f441146f156b1530a34642ff60fa852d839096c491bfb36817fea4ab3","observation_id":"d87b9eb1-4e9a-4a0a-96b3-ae725fb7f6f5","resolution":{"observed_at":"2026-08-14T10:27:34.891678Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T10:27:34.706888Z","title":"Available: http://doi.acm.org/10.1145/2535838.2535888","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts","version":2},"reference_index":452,"source":"pdf_text","source_observed_at":"2026-08-14T10:27:34.706888Z"},"links":{"citing_paper":"/paper/1908.11227"},"observation_digest":"sha256:d6833ef6478c5be840a64377441855049d2dea42602e56199b534d09cc6db4cb","observation_id":"ad1be161-4b2f-46a9-8995-32da70fc1a3b","resolution":{"observed_at":"2026-08-14T10:27:34.706888Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"1908.11227","last_updated":"2019-08-30T10:46:35Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-20T07:11:10.469909Z","submitted_at":"2019-08-29T13:51:34Z","title":"VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts"},"reference_resolution":{"displayed":68,"state_counts":{"malformed_identifier":0,"metadata_mismatch":5,"parse_uncertain":0,"unresolved":21,"verified_exact":4,"verified_fuzzy":38},"total_outbound_references":68},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 68 of 68 outbound references and 0 inbound Pith citation observations for arXiv:1908.11227."}