{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:VRE5FAYC2PDXLPMASU6D5SY7BB","short_pith_number":"pith:VRE5FAYC","schema_version":"1.0","canonical_sha256":"ac49d28302d3c775bd80953c3ecb1f087147f1b19b77b94cb36cdd1143284214","source":{"kind":"arxiv","id":"2404.10362","version":2},"attestation_state":"computed","paper":{"title":"3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Markus Kuppe, Nikhil Swamy, Sarah Fakhoury, Shuvendu K. Lahiri, Tahina Ramananandro","submitted_at":"2024-04-16T07:53:28Z","abstract_excerpt":"Improper parsing of attacker-controlled input is a leading source of software security vulnerabilities, especially when programmers transcribe informal format descriptions in RFCs into efficient parsing logic in low-level, memory unsafe languages. Several researchers have proposed formal specification languages for data formats from which efficient code can be extracted. However, distilling informal requirements into formal specifications is challenging and, despite their benefits, new, formal languages are hard for people to learn and use.\n  In this work, we present 3DGen, a framework that ma"},"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":"2404.10362","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-16T07:53:28Z","cross_cats_sorted":[],"title_canon_sha256":"a92db5d08f05f5f548f135c0cd584455a2939ab5d0bfd368799b34029d8e1720","abstract_canon_sha256":"97a5dd0c4113a6acc94cc8b2d2b9d0c9996bb48ce869eadf07d9a638b39d715d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:16:09.065811Z","signature_b64":"IQ2594mBKL5J3V7hMqMdGhjXEKYDKJBfC5kjPMvpr5oli/+NA2WQm/0W8ppBuYc68ki8DwljovlbSwFWPmY6BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ac49d28302d3c775bd80953c3ecb1f087147f1b19b77b94cb36cdd1143284214","last_reissued_at":"2026-07-05T08:16:09.065183Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:16:09.065183Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Markus Kuppe, Nikhil Swamy, Sarah Fakhoury, Shuvendu K. Lahiri, Tahina Ramananandro","submitted_at":"2024-04-16T07:53:28Z","abstract_excerpt":"Improper parsing of attacker-controlled input is a leading source of software security vulnerabilities, especially when programmers transcribe informal format descriptions in RFCs into efficient parsing logic in low-level, memory unsafe languages. Several researchers have proposed formal specification languages for data formats from which efficient code can be extracted. However, distilling informal requirements into formal specifications is challenging and, despite their benefits, new, formal languages are hard for people to learn and use.\n  In this work, we present 3DGen, a framework that ma"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.10362","kind":"arxiv","version":2},"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/2404.10362/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":"2404.10362","created_at":"2026-07-05T08:16:09.065270+00:00"},{"alias_kind":"arxiv_version","alias_value":"2404.10362v2","created_at":"2026-07-05T08:16:09.065270+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.10362","created_at":"2026-07-05T08:16:09.065270+00:00"},{"alias_kind":"pith_short_12","alias_value":"VRE5FAYC2PDX","created_at":"2026-07-05T08:16:09.065270+00:00"},{"alias_kind":"pith_short_16","alias_value":"VRE5FAYC2PDXLPMA","created_at":"2026-07-05T08:16:09.065270+00:00"},{"alias_kind":"pith_short_8","alias_value":"VRE5FAYC","created_at":"2026-07-05T08:16:09.065270+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2508.06017","citing_title":"Position: Intelligent Coding Systems Should Write Programs with Justifications","ref_index":15,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/VRE5FAYC2PDXLPMASU6D5SY7BB","json":"https://pith.science/pith/VRE5FAYC2PDXLPMASU6D5SY7BB.json","graph_json":"https://pith.science/api/pith-number/VRE5FAYC2PDXLPMASU6D5SY7BB/graph.json","events_json":"https://pith.science/api/pith-number/VRE5FAYC2PDXLPMASU6D5SY7BB/events.json","paper":"https://pith.science/paper/VRE5FAYC"},"agent_actions":{"view_html":"https://pith.science/pith/VRE5FAYC2PDXLPMASU6D5SY7BB","download_json":"https://pith.science/pith/VRE5FAYC2PDXLPMASU6D5SY7BB.json","view_paper":"https://pith.science/paper/VRE5FAYC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2404.10362&json=true","fetch_graph":"https://pith.science/api/pith-number/VRE5FAYC2PDXLPMASU6D5SY7BB/graph.json","fetch_events":"https://pith.science/api/pith-number/VRE5FAYC2PDXLPMASU6D5SY7BB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VRE5FAYC2PDXLPMASU6D5SY7BB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VRE5FAYC2PDXLPMASU6D5SY7BB/action/storage_attestation","attest_author":"https://pith.science/pith/VRE5FAYC2PDXLPMASU6D5SY7BB/action/author_attestation","sign_citation":"https://pith.science/pith/VRE5FAYC2PDXLPMASU6D5SY7BB/action/citation_signature","submit_replication":"https://pith.science/pith/VRE5FAYC2PDXLPMASU6D5SY7BB/action/replication_record"}},"created_at":"2026-07-05T08:16:09.065270+00:00","updated_at":"2026-07-05T08:16:09.065270+00:00"}