{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:NRFRZPK4KIYSGPSTJN776G75IM","short_pith_number":"pith:NRFRZPK4","schema_version":"1.0","canonical_sha256":"6c4b1cbd5c5231233e534b7fff1bfd4310a1dc6ba654699fb9fd8238c28540ed","source":{"kind":"arxiv","id":"2403.11254","version":1},"attestation_state":"computed","paper":{"title":"Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jiachi Chen, Weizhe Zhang, Yanlin Wang, Yu Zhang, Zexu Wang, Zibin Zheng","submitted_at":"2024-03-17T16:08:30Z","abstract_excerpt":"Reentrancy vulnerability as one of the most notorious vulnerabilities, has been a prominent topic in smart contract security research. Research shows that existing vulnerability detection presents a range of challenges, especially as smart contracts continue to increase in complexity. Existing tools perform poorly in terms of efficiency and successful detection rates for vulnerabilities in complex contracts. To effectively detect reentrancy vulnerabilities in contracts with complex logic, we propose a tool named SliSE. SliSE's detection process consists of two stages: Warning Search and Symbol"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2403.11254","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-03-17T16:08:30Z","cross_cats_sorted":[],"title_canon_sha256":"3e9b505ca5023a518127e3e4f99c4e552446e3bf21680c1fa112ef0637c07ab4","abstract_canon_sha256":"879da9ce1a287fac13f1af4f6d64f2de7faa33353468fe4ced0ca4c251d7afad"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:57:14.051818Z","signature_b64":"FEUEWpNWBZFmHkKX1i1rkeiUkaAeFhUYhJYJnvRPIA4PbSsX/hbmHDaIlkXI30/gyy3lCjAl/9U0wRL9/nqHDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6c4b1cbd5c5231233e534b7fff1bfd4310a1dc6ba654699fb9fd8238c28540ed","last_reissued_at":"2026-07-05T07:57:14.051384Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:57:14.051384Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jiachi Chen, Weizhe Zhang, Yanlin Wang, Yu Zhang, Zexu Wang, Zibin Zheng","submitted_at":"2024-03-17T16:08:30Z","abstract_excerpt":"Reentrancy vulnerability as one of the most notorious vulnerabilities, has been a prominent topic in smart contract security research. Research shows that existing vulnerability detection presents a range of challenges, especially as smart contracts continue to increase in complexity. Existing tools perform poorly in terms of efficiency and successful detection rates for vulnerabilities in complex contracts. To effectively detect reentrancy vulnerabilities in contracts with complex logic, we propose a tool named SliSE. SliSE's detection process consists of two stages: Warning Search and Symbol"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.11254","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2403.11254/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2403.11254","created_at":"2026-07-05T07:57:14.051446+00:00"},{"alias_kind":"arxiv_version","alias_value":"2403.11254v1","created_at":"2026-07-05T07:57:14.051446+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.11254","created_at":"2026-07-05T07:57:14.051446+00:00"},{"alias_kind":"pith_short_12","alias_value":"NRFRZPK4KIYS","created_at":"2026-07-05T07:57:14.051446+00:00"},{"alias_kind":"pith_short_16","alias_value":"NRFRZPK4KIYSGPST","created_at":"2026-07-05T07:57:14.051446+00:00"},{"alias_kind":"pith_short_8","alias_value":"NRFRZPK4","created_at":"2026-07-05T07:57:14.051446+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NRFRZPK4KIYSGPSTJN776G75IM","json":"https://pith.science/pith/NRFRZPK4KIYSGPSTJN776G75IM.json","graph_json":"https://pith.science/api/pith-number/NRFRZPK4KIYSGPSTJN776G75IM/graph.json","events_json":"https://pith.science/api/pith-number/NRFRZPK4KIYSGPSTJN776G75IM/events.json","paper":"https://pith.science/paper/NRFRZPK4"},"agent_actions":{"view_html":"https://pith.science/pith/NRFRZPK4KIYSGPSTJN776G75IM","download_json":"https://pith.science/pith/NRFRZPK4KIYSGPSTJN776G75IM.json","view_paper":"https://pith.science/paper/NRFRZPK4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2403.11254&json=true","fetch_graph":"https://pith.science/api/pith-number/NRFRZPK4KIYSGPSTJN776G75IM/graph.json","fetch_events":"https://pith.science/api/pith-number/NRFRZPK4KIYSGPSTJN776G75IM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NRFRZPK4KIYSGPSTJN776G75IM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NRFRZPK4KIYSGPSTJN776G75IM/action/storage_attestation","attest_author":"https://pith.science/pith/NRFRZPK4KIYSGPSTJN776G75IM/action/author_attestation","sign_citation":"https://pith.science/pith/NRFRZPK4KIYSGPSTJN776G75IM/action/citation_signature","submit_replication":"https://pith.science/pith/NRFRZPK4KIYSGPSTJN776G75IM/action/replication_record"}},"created_at":"2026-07-05T07:57:14.051446+00:00","updated_at":"2026-07-05T07:57:14.051446+00:00"}