{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:VPTRQ2ZQ2OQVWMTTMBJ6PRLY4X","short_pith_number":"pith:VPTRQ2ZQ","canonical_record":{"source":{"id":"2506.07010","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-08T06:27:09Z","cross_cats_sorted":[],"title_canon_sha256":"071a96730b01313d897c7c7c23d193b919c2df2615f3efd70e4f61493a021a47","abstract_canon_sha256":"bde36b36a5c0432fa7c4ea2b337880b8b22cfd7b3a9ce253668ab80d76b1400c"},"schema_version":"1.0"},"canonical_sha256":"abe7186b30d3a15b32736053e7c578e5f43e4eab7b17dc9964c200724a85fbd0","source":{"kind":"arxiv","id":"2506.07010","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07010","created_at":"2026-07-05T11:17:59Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07010v1","created_at":"2026-07-05T11:17:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07010","created_at":"2026-07-05T11:17:59Z"},{"alias_kind":"pith_short_12","alias_value":"VPTRQ2ZQ2OQV","created_at":"2026-07-05T11:17:59Z"},{"alias_kind":"pith_short_16","alias_value":"VPTRQ2ZQ2OQVWMTT","created_at":"2026-07-05T11:17:59Z"},{"alias_kind":"pith_short_8","alias_value":"VPTRQ2ZQ","created_at":"2026-07-05T11:17:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:VPTRQ2ZQ2OQVWMTTMBJ6PRLY4X","target":"record","payload":{"canonical_record":{"source":{"id":"2506.07010","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-08T06:27:09Z","cross_cats_sorted":[],"title_canon_sha256":"071a96730b01313d897c7c7c23d193b919c2df2615f3efd70e4f61493a021a47","abstract_canon_sha256":"bde36b36a5c0432fa7c4ea2b337880b8b22cfd7b3a9ce253668ab80d76b1400c"},"schema_version":"1.0"},"canonical_sha256":"abe7186b30d3a15b32736053e7c578e5f43e4eab7b17dc9964c200724a85fbd0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:17:59.701386Z","signature_b64":"84/u5hJB4gqy1aapumoSnJw//W01S0ag6e98hfMz/mY2k8kJ5ZLhBJ/NFsASPplq6/KdohAztdYRIPgZyT43DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"abe7186b30d3a15b32736053e7c578e5f43e4eab7b17dc9964c200724a85fbd0","last_reissued_at":"2026-07-05T11:17:59.701001Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:17:59.701001Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.07010","source_version":1,"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-05T11:17:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h1EPpmWggBiVrZKf+G7X2z57IaEy43vRiBaGQL/ekGqg5WvS5QmgOyKJMjRoTIHv4vcKVs5OFEVP3xQcUjT/DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T14:57:40.349972Z"},"content_sha256":"55b8386c5722a809af00edbd917aa2612b2b457ecd7facd5af9c62c390a143d1","schema_version":"1.0","event_id":"sha256:55b8386c5722a809af00edbd917aa2612b2b457ecd7facd5af9c62c390a143d1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:VPTRQ2ZQ2OQVWMTTMBJ6PRLY4X","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ModelForge: Using GenAI to Improve the Development of Security Protocols","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Edward Zieglar, Ivan A. Fernandez, Kaneesha Moore, Martin Duclos, Sudip Mittal","submitted_at":"2025-06-08T06:27:09Z","abstract_excerpt":"Formal methods can be used for verifying security protocols, but their adoption can be hindered by the complexity of translating natural language protocol specifications into formal representations. In this paper, we introduce ModelForge, a novel tool that automates the translation of protocol specifications for the Cryptographic Protocol Shapes Analyzer (CPSA). By leveraging advances in Natural Language Processing (NLP) and Generative AI (GenAI), ModelForge processes protocol specifications and generates a CPSA protocol definition. This approach reduces the manual effort required, making form"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07010","kind":"arxiv","version":1},"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/2506.07010/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-05T11:17:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6nJSHDRlT/9eUuXdNX+a68+ZP4mi56+DMTZK1yny5jcYRVXFVKRJsHjgpPzdwsOMrXgt8/bLGpa6lpn7I1TOBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T14:57:40.356786Z"},"content_sha256":"ae1ed77c18a568ab2331a9ee7b8d901eae4de451b89ebea0aa1ab9c7720642ad","schema_version":"1.0","event_id":"sha256:ae1ed77c18a568ab2331a9ee7b8d901eae4de451b89ebea0aa1ab9c7720642ad"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VPTRQ2ZQ2OQVWMTTMBJ6PRLY4X/bundle.json","state_url":"https://pith.science/pith/VPTRQ2ZQ2OQVWMTTMBJ6PRLY4X/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VPTRQ2ZQ2OQVWMTTMBJ6PRLY4X/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-11T14:57:40Z","links":{"resolver":"https://pith.science/pith/VPTRQ2ZQ2OQVWMTTMBJ6PRLY4X","bundle":"https://pith.science/pith/VPTRQ2ZQ2OQVWMTTMBJ6PRLY4X/bundle.json","state":"https://pith.science/pith/VPTRQ2ZQ2OQVWMTTMBJ6PRLY4X/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VPTRQ2ZQ2OQVWMTTMBJ6PRLY4X/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VPTRQ2ZQ2OQVWMTTMBJ6PRLY4X","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":"bde36b36a5c0432fa7c4ea2b337880b8b22cfd7b3a9ce253668ab80d76b1400c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-08T06:27:09Z","title_canon_sha256":"071a96730b01313d897c7c7c23d193b919c2df2615f3efd70e4f61493a021a47"},"schema_version":"1.0","source":{"id":"2506.07010","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07010","created_at":"2026-07-05T11:17:59Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07010v1","created_at":"2026-07-05T11:17:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07010","created_at":"2026-07-05T11:17:59Z"},{"alias_kind":"pith_short_12","alias_value":"VPTRQ2ZQ2OQV","created_at":"2026-07-05T11:17:59Z"},{"alias_kind":"pith_short_16","alias_value":"VPTRQ2ZQ2OQVWMTT","created_at":"2026-07-05T11:17:59Z"},{"alias_kind":"pith_short_8","alias_value":"VPTRQ2ZQ","created_at":"2026-07-05T11:17:59Z"}],"graph_snapshots":[{"event_id":"sha256:ae1ed77c18a568ab2331a9ee7b8d901eae4de451b89ebea0aa1ab9c7720642ad","target":"graph","created_at":"2026-07-05T11:17:59Z","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/2506.07010/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Formal methods can be used for verifying security protocols, but their adoption can be hindered by the complexity of translating natural language protocol specifications into formal representations. In this paper, we introduce ModelForge, a novel tool that automates the translation of protocol specifications for the Cryptographic Protocol Shapes Analyzer (CPSA). By leveraging advances in Natural Language Processing (NLP) and Generative AI (GenAI), ModelForge processes protocol specifications and generates a CPSA protocol definition. This approach reduces the manual effort required, making form","authors_text":"Edward Zieglar, Ivan A. Fernandez, Kaneesha Moore, Martin Duclos, Sudip Mittal","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-08T06:27:09Z","title":"ModelForge: Using GenAI to Improve the Development of Security Protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07010","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:55b8386c5722a809af00edbd917aa2612b2b457ecd7facd5af9c62c390a143d1","target":"record","created_at":"2026-07-05T11:17:59Z","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":"bde36b36a5c0432fa7c4ea2b337880b8b22cfd7b3a9ce253668ab80d76b1400c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-08T06:27:09Z","title_canon_sha256":"071a96730b01313d897c7c7c23d193b919c2df2615f3efd70e4f61493a021a47"},"schema_version":"1.0","source":{"id":"2506.07010","kind":"arxiv","version":1}},"canonical_sha256":"abe7186b30d3a15b32736053e7c578e5f43e4eab7b17dc9964c200724a85fbd0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"abe7186b30d3a15b32736053e7c578e5f43e4eab7b17dc9964c200724a85fbd0","first_computed_at":"2026-07-05T11:17:59.701001Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:17:59.701001Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"84/u5hJB4gqy1aapumoSnJw//W01S0ag6e98hfMz/mY2k8kJ5ZLhBJ/NFsASPplq6/KdohAztdYRIPgZyT43DA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:17:59.701386Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.07010","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:55b8386c5722a809af00edbd917aa2612b2b457ecd7facd5af9c62c390a143d1","sha256:ae1ed77c18a568ab2331a9ee7b8d901eae4de451b89ebea0aa1ab9c7720642ad"],"state_sha256":"2e93e8862bdd25c91d99ad0a2832a3122fbbecce491495fb45a959d147b5153e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/O03F1i6kZ2wT8KFUYPoxjfC4igO5ysfP/LyGTs0nInygTyc8X0n3f/1E3fmDBlthpRBRR/A4qFftL5Phr/bCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T14:57:40.370148Z","bundle_sha256":"eed2a0b9275a78e54f470d71e0e6a1693a87783964d95113d3aee40e7794450d"}}