{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:VRE5FAYC2PDXLPMASU6D5SY7BB","short_pith_number":"pith:VRE5FAYC","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"},"canonical_sha256":"ac49d28302d3c775bd80953c3ecb1f087147f1b19b77b94cb36cdd1143284214","source":{"kind":"arxiv","id":"2404.10362","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.10362","created_at":"2026-07-05T08:16:09Z"},{"alias_kind":"arxiv_version","alias_value":"2404.10362v2","created_at":"2026-07-05T08:16:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.10362","created_at":"2026-07-05T08:16:09Z"},{"alias_kind":"pith_short_12","alias_value":"VRE5FAYC2PDX","created_at":"2026-07-05T08:16:09Z"},{"alias_kind":"pith_short_16","alias_value":"VRE5FAYC2PDXLPMA","created_at":"2026-07-05T08:16:09Z"},{"alias_kind":"pith_short_8","alias_value":"VRE5FAYC","created_at":"2026-07-05T08:16:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:VRE5FAYC2PDXLPMASU6D5SY7BB","target":"record","payload":{"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"},"canonical_sha256":"ac49d28302d3c775bd80953c3ecb1f087147f1b19b77b94cb36cdd1143284214","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"},"source_kind":"arxiv","source_id":"2404.10362","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T08:16:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FuIZKrs7OKs25B5206Zp0gNYqluglxsiDM2iDj1+0qrtIOTFr97NfOgDEN2MsLOaCyrMWLObHWPXg884+Av4Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T10:51:24.961186Z"},"content_sha256":"a4e77811accb140c7dbf40ac7a310a880cb761bb2cfd5d74836ea17760ef6404","schema_version":"1.0","event_id":"sha256:a4e77811accb140c7dbf40ac7a310a880cb761bb2cfd5d74836ea17760ef6404"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:VRE5FAYC2PDXLPMASU6D5SY7BB","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T08:16:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bycF9hUtbhPBZaJyd0gUC0S6Kr0BJxfHGFY8HCbOeO4p+jZfuuGtIeEv08yl316qpNImDWLtvYvG7HFCGxAiCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T10:51:24.961828Z"},"content_sha256":"f189506b8e0149177599b7396b0c11660f40e92f98729a4fbe7e22df56043dbb","schema_version":"1.0","event_id":"sha256:f189506b8e0149177599b7396b0c11660f40e92f98729a4fbe7e22df56043dbb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VRE5FAYC2PDXLPMASU6D5SY7BB/bundle.json","state_url":"https://pith.science/pith/VRE5FAYC2PDXLPMASU6D5SY7BB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VRE5FAYC2PDXLPMASU6D5SY7BB/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-21T10:51:24Z","links":{"resolver":"https://pith.science/pith/VRE5FAYC2PDXLPMASU6D5SY7BB","bundle":"https://pith.science/pith/VRE5FAYC2PDXLPMASU6D5SY7BB/bundle.json","state":"https://pith.science/pith/VRE5FAYC2PDXLPMASU6D5SY7BB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VRE5FAYC2PDXLPMASU6D5SY7BB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:VRE5FAYC2PDXLPMASU6D5SY7BB","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":"97a5dd0c4113a6acc94cc8b2d2b9d0c9996bb48ce869eadf07d9a638b39d715d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-16T07:53:28Z","title_canon_sha256":"a92db5d08f05f5f548f135c0cd584455a2939ab5d0bfd368799b34029d8e1720"},"schema_version":"1.0","source":{"id":"2404.10362","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.10362","created_at":"2026-07-05T08:16:09Z"},{"alias_kind":"arxiv_version","alias_value":"2404.10362v2","created_at":"2026-07-05T08:16:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.10362","created_at":"2026-07-05T08:16:09Z"},{"alias_kind":"pith_short_12","alias_value":"VRE5FAYC2PDX","created_at":"2026-07-05T08:16:09Z"},{"alias_kind":"pith_short_16","alias_value":"VRE5FAYC2PDXLPMA","created_at":"2026-07-05T08:16:09Z"},{"alias_kind":"pith_short_8","alias_value":"VRE5FAYC","created_at":"2026-07-05T08:16:09Z"}],"graph_snapshots":[{"event_id":"sha256:f189506b8e0149177599b7396b0c11660f40e92f98729a4fbe7e22df56043dbb","target":"graph","created_at":"2026-07-05T08:16:09Z","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.10362/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Markus Kuppe, Nikhil Swamy, Sarah Fakhoury, Shuvendu K. Lahiri, Tahina Ramananandro","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-16T07:53:28Z","title":"3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.10362","kind":"arxiv","version":2},"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:a4e77811accb140c7dbf40ac7a310a880cb761bb2cfd5d74836ea17760ef6404","target":"record","created_at":"2026-07-05T08:16:09Z","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":"97a5dd0c4113a6acc94cc8b2d2b9d0c9996bb48ce869eadf07d9a638b39d715d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-16T07:53:28Z","title_canon_sha256":"a92db5d08f05f5f548f135c0cd584455a2939ab5d0bfd368799b34029d8e1720"},"schema_version":"1.0","source":{"id":"2404.10362","kind":"arxiv","version":2}},"canonical_sha256":"ac49d28302d3c775bd80953c3ecb1f087147f1b19b77b94cb36cdd1143284214","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ac49d28302d3c775bd80953c3ecb1f087147f1b19b77b94cb36cdd1143284214","first_computed_at":"2026-07-05T08:16:09.065183Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:16:09.065183Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IQ2594mBKL5J3V7hMqMdGhjXEKYDKJBfC5kjPMvpr5oli/+NA2WQm/0W8ppBuYc68ki8DwljovlbSwFWPmY6BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:16:09.065811Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.10362","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a4e77811accb140c7dbf40ac7a310a880cb761bb2cfd5d74836ea17760ef6404","sha256:f189506b8e0149177599b7396b0c11660f40e92f98729a4fbe7e22df56043dbb"],"state_sha256":"3e9cc268b7f4f5fd190da693b8e7ddf89383ca06588046bd67c18a8325ee00e3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yHQmBpT9PASCIsKhj72lEe730aUr1J7/zWIT3I09n9nUN/hZ0Ag7uXvTWogVBMexOv6+VsG9uTPpXtWFk1a9BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T10:51:24.967535Z","bundle_sha256":"bb3a1e966f6a9a40072e47fb20da7c039a25c17b2202d70a7c415f580baf485c"}}