{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:2RCKA2SSCX2L2XJ2BKQEOK3FMJ","short_pith_number":"pith:2RCKA2SS","canonical_record":{"source":{"id":"2310.04381","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-10-06T17:19:40Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"10ff31f61181bdfba3df600b72eff6d84180112c7c39420d9ee42417e05ef568","abstract_canon_sha256":"50bcbbafa9dd31a532a897304ce897b411a04adc3a0c778145425c67bda53aeb"},"schema_version":"1.0"},"canonical_sha256":"d444a06a5215f4bd5d3a0aa0472b65626e94e3949b2985665d4dcfde909cbdbd","source":{"kind":"arxiv","id":"2310.04381","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.04381","created_at":"2026-07-05T06:59:35Z"},{"alias_kind":"arxiv_version","alias_value":"2310.04381v2","created_at":"2026-07-05T06:59:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.04381","created_at":"2026-07-05T06:59:35Z"},{"alias_kind":"pith_short_12","alias_value":"2RCKA2SSCX2L","created_at":"2026-07-05T06:59:35Z"},{"alias_kind":"pith_short_16","alias_value":"2RCKA2SSCX2L2XJ2","created_at":"2026-07-05T06:59:35Z"},{"alias_kind":"pith_short_8","alias_value":"2RCKA2SS","created_at":"2026-07-05T06:59:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:2RCKA2SSCX2L2XJ2BKQEOK3FMJ","target":"record","payload":{"canonical_record":{"source":{"id":"2310.04381","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-10-06T17:19:40Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"10ff31f61181bdfba3df600b72eff6d84180112c7c39420d9ee42417e05ef568","abstract_canon_sha256":"50bcbbafa9dd31a532a897304ce897b411a04adc3a0c778145425c67bda53aeb"},"schema_version":"1.0"},"canonical_sha256":"d444a06a5215f4bd5d3a0aa0472b65626e94e3949b2985665d4dcfde909cbdbd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:59:35.871642Z","signature_b64":"1XiD6VTssWzX1iBux3QjsIeizpyyhDgaNwIXq6jkf3XEDNM8zQVCdOG1IiJzSSBVLmoTkwx1uqI4p6ZYW6pbDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d444a06a5215f4bd5d3a0aa0472b65626e94e3949b2985665d4dcfde909cbdbd","last_reissued_at":"2026-07-05T06:59:35.871150Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:59:35.871150Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2310.04381","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-05T06:59:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bNJrwi42j5zfk9KNivlgA1XVhXie8d8E1itQqMw6s/SIz6OxlIlxSOnVsIdL1Ms7OXvYDh4zJof5Zgn8IQXCCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T06:01:01.531427Z"},"content_sha256":"fefea3721e794aa70cd338970358d74ac1152e8c493a5064dc0d25331923cf38","schema_version":"1.0","event_id":"sha256:fefea3721e794aa70cd338970358d74ac1152e8c493a5064dc0d25331923cf38"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:2RCKA2SSCX2L2XJ2BKQEOK3FMJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.CR","authors_text":"Abdullah Al Ishtiaq, Ali Ranjbar, Kai Tu, Mujtahid Akon, Rui Zhang, Sarkar Snigdha Sarathi Das, Syed Md Mukit Rashid, Syed Rafiul Hussain, Tianwei Wu, Weixuan Wang, Zhezheng Song","submitted_at":"2023-10-06T17:19:40Z","abstract_excerpt":"In this paper, we present Hermes, an end-to-end framework to automatically generate formal representations from natural language cellular specifications. We first develop a neural constituency parser, NEUTREX, to process transition-relevant texts and extract transition components (i.e., states, conditions, and actions). We also design a domain-specific language to translate these transition components to logical formulas by leveraging dependency parse trees. Finally, we compile these logical formulas to generate transitions and create the formal model as finite state machines. To demonstrate t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.04381","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/2310.04381/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-05T06:59:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2xnUvQeKmQ8rtzX8OksJxQ0l8hXQPCQtDg94i1Vud0z6aNQKv6MIpzzjVS1etH5hkk/cC97WzvZbRychh/5tCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T06:01:01.532058Z"},"content_sha256":"cf7f9313a8f000d3bcae05c2b004ab6f3a56476d6f668bde4d68fcea446ab90a","schema_version":"1.0","event_id":"sha256:cf7f9313a8f000d3bcae05c2b004ab6f3a56476d6f668bde4d68fcea446ab90a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2RCKA2SSCX2L2XJ2BKQEOK3FMJ/bundle.json","state_url":"https://pith.science/pith/2RCKA2SSCX2L2XJ2BKQEOK3FMJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2RCKA2SSCX2L2XJ2BKQEOK3FMJ/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-07-09T06:01:01Z","links":{"resolver":"https://pith.science/pith/2RCKA2SSCX2L2XJ2BKQEOK3FMJ","bundle":"https://pith.science/pith/2RCKA2SSCX2L2XJ2BKQEOK3FMJ/bundle.json","state":"https://pith.science/pith/2RCKA2SSCX2L2XJ2BKQEOK3FMJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2RCKA2SSCX2L2XJ2BKQEOK3FMJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:2RCKA2SSCX2L2XJ2BKQEOK3FMJ","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":"50bcbbafa9dd31a532a897304ce897b411a04adc3a0c778145425c67bda53aeb","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-10-06T17:19:40Z","title_canon_sha256":"10ff31f61181bdfba3df600b72eff6d84180112c7c39420d9ee42417e05ef568"},"schema_version":"1.0","source":{"id":"2310.04381","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.04381","created_at":"2026-07-05T06:59:35Z"},{"alias_kind":"arxiv_version","alias_value":"2310.04381v2","created_at":"2026-07-05T06:59:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.04381","created_at":"2026-07-05T06:59:35Z"},{"alias_kind":"pith_short_12","alias_value":"2RCKA2SSCX2L","created_at":"2026-07-05T06:59:35Z"},{"alias_kind":"pith_short_16","alias_value":"2RCKA2SSCX2L2XJ2","created_at":"2026-07-05T06:59:35Z"},{"alias_kind":"pith_short_8","alias_value":"2RCKA2SS","created_at":"2026-07-05T06:59:35Z"}],"graph_snapshots":[{"event_id":"sha256:cf7f9313a8f000d3bcae05c2b004ab6f3a56476d6f668bde4d68fcea446ab90a","target":"graph","created_at":"2026-07-05T06:59:35Z","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/2310.04381/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we present Hermes, an end-to-end framework to automatically generate formal representations from natural language cellular specifications. We first develop a neural constituency parser, NEUTREX, to process transition-relevant texts and extract transition components (i.e., states, conditions, and actions). We also design a domain-specific language to translate these transition components to logical formulas by leveraging dependency parse trees. Finally, we compile these logical formulas to generate transitions and create the formal model as finite state machines. To demonstrate t","authors_text":"Abdullah Al Ishtiaq, Ali Ranjbar, Kai Tu, Mujtahid Akon, Rui Zhang, Sarkar Snigdha Sarathi Das, Syed Md Mukit Rashid, Syed Rafiul Hussain, Tianwei Wu, Weixuan Wang, Zhezheng Song","cross_cats":["cs.AI","cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-10-06T17:19:40Z","title":"Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.04381","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:fefea3721e794aa70cd338970358d74ac1152e8c493a5064dc0d25331923cf38","target":"record","created_at":"2026-07-05T06:59:35Z","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":"50bcbbafa9dd31a532a897304ce897b411a04adc3a0c778145425c67bda53aeb","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-10-06T17:19:40Z","title_canon_sha256":"10ff31f61181bdfba3df600b72eff6d84180112c7c39420d9ee42417e05ef568"},"schema_version":"1.0","source":{"id":"2310.04381","kind":"arxiv","version":2}},"canonical_sha256":"d444a06a5215f4bd5d3a0aa0472b65626e94e3949b2985665d4dcfde909cbdbd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d444a06a5215f4bd5d3a0aa0472b65626e94e3949b2985665d4dcfde909cbdbd","first_computed_at":"2026-07-05T06:59:35.871150Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:59:35.871150Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1XiD6VTssWzX1iBux3QjsIeizpyyhDgaNwIXq6jkf3XEDNM8zQVCdOG1IiJzSSBVLmoTkwx1uqI4p6ZYW6pbDg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:59:35.871642Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.04381","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fefea3721e794aa70cd338970358d74ac1152e8c493a5064dc0d25331923cf38","sha256:cf7f9313a8f000d3bcae05c2b004ab6f3a56476d6f668bde4d68fcea446ab90a"],"state_sha256":"01af62572cc4fb3fedac38dca2be6e6ce172b3202f6661d95daf6684a3342336"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sw6cRJM5tA9qR9MPPALcy8J/+To/e4NHZg73z549BxdWok3osJl05LWGSxolE261lDJj9BAAY70QcKTZnWxSAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T06:01:01.535155Z","bundle_sha256":"10e330805ccdd9294edc69c9439ab25c2988deb278360194aa0fe8724d8c4419"}}