{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:5V5FU235WJ2LOKY6VWCCNM3UX3","short_pith_number":"pith:5V5FU235","schema_version":"1.0","canonical_sha256":"ed7a5a6b7db274b72b1ead8426b374bee9226adf3f59b9a466dc819713c0ad72","source":{"kind":"arxiv","id":"1811.06632","version":3},"attestation_state":"computed","paper":{"title":"Towards Safer Smart Contracts: A Sequence Learning Approach to Detecting Security Threats","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Sourav Sen Gupta, Wesley Joon-Wie Tann, Xing Jie Han, Yew-Soon Ong","submitted_at":"2018-11-16T00:02:59Z","abstract_excerpt":"Symbolic analysis of security exploits in smart contracts has demonstrated to be valuable for analyzing predefined vulnerability properties. While some symbolic tools perform complex analysis steps, they require a predetermined invocation depth to search vulnerable execution paths, and the search time increases with depth. The number of contracts on blockchains like Ethereum has increased 176 fold since December 2015. If these symbolic tools fail to analyze the increasingly large number of contracts in time, entire classes of exploits could cause irrevocable damage. In this paper, we aim to ha"},"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":"1811.06632","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-11-16T00:02:59Z","cross_cats_sorted":[],"title_canon_sha256":"46edd3e3d93fc34574a0f6bb73c12cc47fd5e902a1179fd7990a496059e2f637","abstract_canon_sha256":"0873efdff96e8f6bb945b08fcd303fe09304952af06add5702586b3d74141af7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:43:56.430522Z","signature_b64":"zlmfSTReV3L6tbwgWdH7yK9JJa7KchlrlckT6IOHT1XqeA6aHfL+UKACDO0RqEXurIa5kTlqakwpZ2AvUY1wDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ed7a5a6b7db274b72b1ead8426b374bee9226adf3f59b9a466dc819713c0ad72","last_reissued_at":"2026-05-17T23:43:56.429888Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:43:56.429888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Towards Safer Smart Contracts: A Sequence Learning Approach to Detecting Security Threats","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Sourav Sen Gupta, Wesley Joon-Wie Tann, Xing Jie Han, Yew-Soon Ong","submitted_at":"2018-11-16T00:02:59Z","abstract_excerpt":"Symbolic analysis of security exploits in smart contracts has demonstrated to be valuable for analyzing predefined vulnerability properties. While some symbolic tools perform complex analysis steps, they require a predetermined invocation depth to search vulnerable execution paths, and the search time increases with depth. The number of contracts on blockchains like Ethereum has increased 176 fold since December 2015. If these symbolic tools fail to analyze the increasingly large number of contracts in time, entire classes of exploits could cause irrevocable damage. In this paper, we aim to ha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.06632","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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":"1811.06632","created_at":"2026-05-17T23:43:56.429997+00:00"},{"alias_kind":"arxiv_version","alias_value":"1811.06632v3","created_at":"2026-05-17T23:43:56.429997+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.06632","created_at":"2026-05-17T23:43:56.429997+00:00"},{"alias_kind":"pith_short_12","alias_value":"5V5FU235WJ2L","created_at":"2026-05-18T12:32:08.215937+00:00"},{"alias_kind":"pith_short_16","alias_value":"5V5FU235WJ2LOKY6","created_at":"2026-05-18T12:32:08.215937+00:00"},{"alias_kind":"pith_short_8","alias_value":"5V5FU235","created_at":"2026-05-18T12:32:08.215937+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":4,"internal_anchor_count":3,"sample":[{"citing_arxiv_id":"2304.10726","citing_title":"Usenix'23 Extended Version: Smart Learning to Find Dumb Contracts","ref_index":109,"is_internal_anchor":true},{"citing_arxiv_id":"2508.20086","citing_title":"Detecting Malicious Intents in Smart Contracts with Pre-trained Programming Language Models","ref_index":34,"is_internal_anchor":true},{"citing_arxiv_id":"2509.10252","citing_title":"ExDoS: Expert-Guided Dual-Focus Cross-Modal Distillation for Smart Contract Vulnerability Detection","ref_index":61,"is_internal_anchor":true},{"citing_arxiv_id":"2605.03697","citing_title":"Tailored Prompts, Targeted Protection: Vulnerability-Specific LLM Analysis for Smart Contracts","ref_index":22,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/5V5FU235WJ2LOKY6VWCCNM3UX3","json":"https://pith.science/pith/5V5FU235WJ2LOKY6VWCCNM3UX3.json","graph_json":"https://pith.science/api/pith-number/5V5FU235WJ2LOKY6VWCCNM3UX3/graph.json","events_json":"https://pith.science/api/pith-number/5V5FU235WJ2LOKY6VWCCNM3UX3/events.json","paper":"https://pith.science/paper/5V5FU235"},"agent_actions":{"view_html":"https://pith.science/pith/5V5FU235WJ2LOKY6VWCCNM3UX3","download_json":"https://pith.science/pith/5V5FU235WJ2LOKY6VWCCNM3UX3.json","view_paper":"https://pith.science/paper/5V5FU235","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1811.06632&json=true","fetch_graph":"https://pith.science/api/pith-number/5V5FU235WJ2LOKY6VWCCNM3UX3/graph.json","fetch_events":"https://pith.science/api/pith-number/5V5FU235WJ2LOKY6VWCCNM3UX3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5V5FU235WJ2LOKY6VWCCNM3UX3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5V5FU235WJ2LOKY6VWCCNM3UX3/action/storage_attestation","attest_author":"https://pith.science/pith/5V5FU235WJ2LOKY6VWCCNM3UX3/action/author_attestation","sign_citation":"https://pith.science/pith/5V5FU235WJ2LOKY6VWCCNM3UX3/action/citation_signature","submit_replication":"https://pith.science/pith/5V5FU235WJ2LOKY6VWCCNM3UX3/action/replication_record"}},"created_at":"2026-05-17T23:43:56.429997+00:00","updated_at":"2026-05-17T23:43:56.429997+00:00"}