{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:G5EZU7M7CPXLU3GK4WDLNKZ7O3","short_pith_number":"pith:G5EZU7M7","canonical_record":{"source":{"id":"2405.00393","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-05-01T08:46:36Z","cross_cats_sorted":[],"title_canon_sha256":"d52986869993ffc9289f4f76c33922eea7661fead5a6ebbd0abf3e253be69774","abstract_canon_sha256":"740595885bb6a63422438fd4d33ce5f24dd1784130edc44e485b47b4c75371e1"},"schema_version":"1.0"},"canonical_sha256":"37499a7d9f13eeba6ccae586b6ab3f76d5da2816d9373b10860ee062a743bf66","source":{"kind":"arxiv","id":"2405.00393","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.00393","created_at":"2026-07-05T10:40:00Z"},{"alias_kind":"arxiv_version","alias_value":"2405.00393v4","created_at":"2026-07-05T10:40:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.00393","created_at":"2026-07-05T10:40:00Z"},{"alias_kind":"pith_short_12","alias_value":"G5EZU7M7CPXL","created_at":"2026-07-05T10:40:00Z"},{"alias_kind":"pith_short_16","alias_value":"G5EZU7M7CPXLU3GK","created_at":"2026-07-05T10:40:00Z"},{"alias_kind":"pith_short_8","alias_value":"G5EZU7M7","created_at":"2026-07-05T10:40:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:G5EZU7M7CPXLU3GK4WDLNKZ7O3","target":"record","payload":{"canonical_record":{"source":{"id":"2405.00393","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-05-01T08:46:36Z","cross_cats_sorted":[],"title_canon_sha256":"d52986869993ffc9289f4f76c33922eea7661fead5a6ebbd0abf3e253be69774","abstract_canon_sha256":"740595885bb6a63422438fd4d33ce5f24dd1784130edc44e485b47b4c75371e1"},"schema_version":"1.0"},"canonical_sha256":"37499a7d9f13eeba6ccae586b6ab3f76d5da2816d9373b10860ee062a743bf66","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:40:00.810596Z","signature_b64":"Y+knOnn9w8sH5kf/GQ0r0DpxhWZTGKIVMOjFzWWItR/yh3e97pxqV93Mcy0qaKV7OxZCheo81Hid2W2v3kuuBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37499a7d9f13eeba6ccae586b6ab3f76d5da2816d9373b10860ee062a743bf66","last_reissued_at":"2026-07-05T10:40:00.810120Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:40:00.810120Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.00393","source_version":4,"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-05T10:40:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EMFtxw4lxZOsFrsOHSVXxAiME1jjxjNySNoo8uuFi6Ed9zlfMdYpVALrG3wYXg+toA4S+/GA7DVrUG71ZN7QCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T06:23:11.893767Z"},"content_sha256":"dd5aa64d1e4dcfd09bbcf0e9084d6a76fa88fc2ed88d5e022fa9beede54b35b9","schema_version":"1.0","event_id":"sha256:dd5aa64d1e4dcfd09bbcf0e9084d6a76fa88fc2ed88d5e022fa9beede54b35b9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:G5EZU7M7CPXLU3GK4WDLNKZ7O3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Bing Mao, Fengyuan Xu, Guang Cheng, Haiyang Wei, Haohui Huang, Ligeng Chen, Linzhang Wang, Yue Liu, Yuhan Wu, Zhengjie Du","submitted_at":"2024-05-01T08:46:36Z","abstract_excerpt":"State machines are essential for enhancing protocol analysis to identify vulnerabilities. However, inferring state machines from network protocol implementations is challenging due to complex code syntax and semantics. Traditional dynamic analysis methods often miss critical state transitions due to limited coverage, while static analysis faces path explosion issues. To overcome these challenges, we introduce a novel state machine inference approach utilizing Large Language Models (LLMs), named ProtocolGPT. This method employs retrieval augmented generation technology to enhance a pre-trained "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.00393","kind":"arxiv","version":4},"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/2405.00393/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-05T10:40:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XRzAqZ44NtaGb7BghegRj6/IZP3MoojIaC58wz3WA70Kf8jIBTzcleLc1TUiprd/fOvJDBUUi1J/ZNVlgv2FBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T06:23:11.894292Z"},"content_sha256":"6be0150e3bc4fd14a0639e5df5b72c9c36dd91abe307807b802acc7fa2a881fe","schema_version":"1.0","event_id":"sha256:6be0150e3bc4fd14a0639e5df5b72c9c36dd91abe307807b802acc7fa2a881fe"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G5EZU7M7CPXLU3GK4WDLNKZ7O3/bundle.json","state_url":"https://pith.science/pith/G5EZU7M7CPXLU3GK4WDLNKZ7O3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G5EZU7M7CPXLU3GK4WDLNKZ7O3/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-10T06:23:11Z","links":{"resolver":"https://pith.science/pith/G5EZU7M7CPXLU3GK4WDLNKZ7O3","bundle":"https://pith.science/pith/G5EZU7M7CPXLU3GK4WDLNKZ7O3/bundle.json","state":"https://pith.science/pith/G5EZU7M7CPXLU3GK4WDLNKZ7O3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G5EZU7M7CPXLU3GK4WDLNKZ7O3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:G5EZU7M7CPXLU3GK4WDLNKZ7O3","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":"740595885bb6a63422438fd4d33ce5f24dd1784130edc44e485b47b4c75371e1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-05-01T08:46:36Z","title_canon_sha256":"d52986869993ffc9289f4f76c33922eea7661fead5a6ebbd0abf3e253be69774"},"schema_version":"1.0","source":{"id":"2405.00393","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.00393","created_at":"2026-07-05T10:40:00Z"},{"alias_kind":"arxiv_version","alias_value":"2405.00393v4","created_at":"2026-07-05T10:40:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.00393","created_at":"2026-07-05T10:40:00Z"},{"alias_kind":"pith_short_12","alias_value":"G5EZU7M7CPXL","created_at":"2026-07-05T10:40:00Z"},{"alias_kind":"pith_short_16","alias_value":"G5EZU7M7CPXLU3GK","created_at":"2026-07-05T10:40:00Z"},{"alias_kind":"pith_short_8","alias_value":"G5EZU7M7","created_at":"2026-07-05T10:40:00Z"}],"graph_snapshots":[{"event_id":"sha256:6be0150e3bc4fd14a0639e5df5b72c9c36dd91abe307807b802acc7fa2a881fe","target":"graph","created_at":"2026-07-05T10:40:00Z","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/2405.00393/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"State machines are essential for enhancing protocol analysis to identify vulnerabilities. However, inferring state machines from network protocol implementations is challenging due to complex code syntax and semantics. Traditional dynamic analysis methods often miss critical state transitions due to limited coverage, while static analysis faces path explosion issues. To overcome these challenges, we introduce a novel state machine inference approach utilizing Large Language Models (LLMs), named ProtocolGPT. This method employs retrieval augmented generation technology to enhance a pre-trained ","authors_text":"Bing Mao, Fengyuan Xu, Guang Cheng, Haiyang Wei, Haohui Huang, Ligeng Chen, Linzhang Wang, Yue Liu, Yuhan Wu, Zhengjie Du","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-05-01T08:46:36Z","title":"Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.00393","kind":"arxiv","version":4},"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:dd5aa64d1e4dcfd09bbcf0e9084d6a76fa88fc2ed88d5e022fa9beede54b35b9","target":"record","created_at":"2026-07-05T10:40:00Z","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":"740595885bb6a63422438fd4d33ce5f24dd1784130edc44e485b47b4c75371e1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-05-01T08:46:36Z","title_canon_sha256":"d52986869993ffc9289f4f76c33922eea7661fead5a6ebbd0abf3e253be69774"},"schema_version":"1.0","source":{"id":"2405.00393","kind":"arxiv","version":4}},"canonical_sha256":"37499a7d9f13eeba6ccae586b6ab3f76d5da2816d9373b10860ee062a743bf66","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"37499a7d9f13eeba6ccae586b6ab3f76d5da2816d9373b10860ee062a743bf66","first_computed_at":"2026-07-05T10:40:00.810120Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:40:00.810120Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y+knOnn9w8sH5kf/GQ0r0DpxhWZTGKIVMOjFzWWItR/yh3e97pxqV93Mcy0qaKV7OxZCheo81Hid2W2v3kuuBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:40:00.810596Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.00393","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dd5aa64d1e4dcfd09bbcf0e9084d6a76fa88fc2ed88d5e022fa9beede54b35b9","sha256:6be0150e3bc4fd14a0639e5df5b72c9c36dd91abe307807b802acc7fa2a881fe"],"state_sha256":"a2b86bf054c932dc7c8fba06c4d2acb062b1091078d594409b88b8ba911145d1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U2fZHszeN20EpsUJpbAvJA77F1eiIEHSkjC9Uik/L35M851gxbe5wCBSN0Z7fC6gU92BlvrKTAxcj5kRa29IDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T06:23:11.898670Z","bundle_sha256":"18902505337e55eb5f827f3a3b440d012227b3d730d3c2932b4f01deff8e3fef"}}