{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:DZEHAC5TVMX4AFTBCQHGPLVZT6","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"ef647998a9ddfbf9c77c7bd61f6759084829253295654e3026ba53985e144b2c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-04-16T08:13:13Z","title_canon_sha256":"bb18cb33bdf6705a1e4777d10faec5202e17141f9cb5d36ef2981bd20b2ce280"},"schema_version":"1.0","source":{"id":"2404.10376","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.10376","created_at":"2026-07-05T08:08:29Z"},{"alias_kind":"arxiv_version","alias_value":"2404.10376v1","created_at":"2026-07-05T08:08:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.10376","created_at":"2026-07-05T08:08:29Z"},{"alias_kind":"pith_short_12","alias_value":"DZEHAC5TVMX4","created_at":"2026-07-05T08:08:29Z"},{"alias_kind":"pith_short_16","alias_value":"DZEHAC5TVMX4AFTB","created_at":"2026-07-05T08:08:29Z"},{"alias_kind":"pith_short_8","alias_value":"DZEHAC5T","created_at":"2026-07-05T08:08:29Z"}],"graph_snapshots":[{"event_id":"sha256:04709e632c6c8e48e3c2d86363ca8f983b6dfad7d057359bcb62031a981aba40","target":"graph","created_at":"2026-07-05T08:08:29Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2404.10376/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Decentralized finance (DeFi) is revolutionizing the traditional centralized finance paradigm with its attractive features such as high availability, transparency, and tamper-proofing. However, attacks targeting DeFi services have severely damaged the DeFi market, as evidenced by our investigation of 80 real-world DeFi incidents from 2017 to 2022. Existing methods, based on symbolic execution, model checking, semantic analysis, and fuzzing, fall short in identifying the most DeFi vulnerability types. To address the deficiency, we propose Context-Sensitive Concolic Verification (CSCV), a method ","authors_text":"Arthur Gervais, Hiroyuki Sato, Roger Wattenhofer, Yepeng Ding","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-04-16T08:13:13Z","title":"Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.10376","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:bf43db3f98c9e365de0b37573ebabb4e9f2d8aacb508837cc08f27fca06c9b3b","target":"record","created_at":"2026-07-05T08:08:29Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"ef647998a9ddfbf9c77c7bd61f6759084829253295654e3026ba53985e144b2c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-04-16T08:13:13Z","title_canon_sha256":"bb18cb33bdf6705a1e4777d10faec5202e17141f9cb5d36ef2981bd20b2ce280"},"schema_version":"1.0","source":{"id":"2404.10376","kind":"arxiv","version":1}},"canonical_sha256":"1e48700bb3ab2fc01661140e67aeb99fa339bde804f1b9fd61eeba6f24ee3225","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1e48700bb3ab2fc01661140e67aeb99fa339bde804f1b9fd61eeba6f24ee3225","first_computed_at":"2026-07-05T08:08:29.604996Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:08:29.604996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rsFhB93lNbrdfSFfzyb6MJEc89A388I56Eh5czZo0YMoGQFUsg1CMqOBrBrZKnpwl4vTU/fMg9Q988R+bLLTBA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:08:29.605478Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.10376","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bf43db3f98c9e365de0b37573ebabb4e9f2d8aacb508837cc08f27fca06c9b3b","sha256:04709e632c6c8e48e3c2d86363ca8f983b6dfad7d057359bcb62031a981aba40"],"state_sha256":"34bfbd2aca244d25f2bbde54e3113ce22ab055c7eca7e0aab599212f0cba5722"}