{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:WC3SO32WOYFJKPAS2MYGG5J4HX","short_pith_number":"pith:WC3SO32W","canonical_record":{"source":{"id":"2607.20712","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-22T20:29:59Z","cross_cats_sorted":[],"title_canon_sha256":"781d506590168c3f84f0478716b1ce2c317e3f23206ad26ba106d34d2d951cb2","abstract_canon_sha256":"3d4bf96f670b5212e9356e316ddda707593458589f43f453bc2a8411756bd52b"},"schema_version":"1.0"},"canonical_sha256":"b0b7276f56760a953c12d33063753c3dd0629a2860022f482b274ab72a664687","source":{"kind":"arxiv","id":"2607.20712","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.20712","created_at":"2026-07-24T00:23:30Z"},{"alias_kind":"arxiv_version","alias_value":"2607.20712v1","created_at":"2026-07-24T00:23:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.20712","created_at":"2026-07-24T00:23:30Z"},{"alias_kind":"pith_short_12","alias_value":"WC3SO32WOYFJ","created_at":"2026-07-24T00:23:30Z"},{"alias_kind":"pith_short_16","alias_value":"WC3SO32WOYFJKPAS","created_at":"2026-07-24T00:23:30Z"},{"alias_kind":"pith_short_8","alias_value":"WC3SO32W","created_at":"2026-07-24T00:23:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:WC3SO32WOYFJKPAS2MYGG5J4HX","target":"record","payload":{"canonical_record":{"source":{"id":"2607.20712","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-22T20:29:59Z","cross_cats_sorted":[],"title_canon_sha256":"781d506590168c3f84f0478716b1ce2c317e3f23206ad26ba106d34d2d951cb2","abstract_canon_sha256":"3d4bf96f670b5212e9356e316ddda707593458589f43f453bc2a8411756bd52b"},"schema_version":"1.0"},"canonical_sha256":"b0b7276f56760a953c12d33063753c3dd0629a2860022f482b274ab72a664687","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-24T00:23:30.869143Z","signature_b64":"vrx/bJIYTMy3LPyB2o9RudcyuYc+vQckvkHtWoYmF2yQu4S/R0e0jyXLxQWLexMSPTmSBjoE4Klpj+rFiLUSBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b0b7276f56760a953c12d33063753c3dd0629a2860022f482b274ab72a664687","last_reissued_at":"2026-07-24T00:23:30.867939Z","signature_status":"signed_v1","first_computed_at":"2026-07-24T00:23:30.867939Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.20712","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-24T00:23:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4/fyINOBOXSUpHschPboFIqsl2cq8iAZG9V+EqPIgvFX+YkbvhiJwumk8Lh3eKohCoxsIZaVcjqbu9uwza3ICQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T02:04:49.209018Z"},"content_sha256":"f14856367ed46b4d4b71eefd0a73885b07b7275a76437d36846904ad467df343","schema_version":"1.0","event_id":"sha256:f14856367ed46b4d4b71eefd0a73885b07b7275a76437d36846904ad467df343"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:WC3SO32WOYFJKPAS2MYGG5J4HX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Derek Enodolomwanyi, Ioannis Sfyrakis, Paolo Modesti, Syed Ahmed","submitted_at":"2026-07-22T20:29:59Z","abstract_excerpt":"Security protocol verification relies on formal tools such as ProVerif and OFMC. This study evaluates whether Large Language Models (LLMs) can perform comparable analysis. We test GPT and DeepSeek in chat and reasoning modes over three runs on 130 obfuscated AnB/AnBx protocols covering 388 security goals, scored against ProVerif and OFMC. Chat models reach 69 to 81% recall at precision below 31%. Reasoning models reverse this trade-off, reaching 66.5% precision for GPT and 45.4% for DeepSeek, but detect just over half the attacks. DeepSeek's two modes share one underlying model, so the compari"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.20712","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/2607.20712/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-24T00:23:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HmpDcI7txGhfGrds1DxTnsKSV8c4mDMOtsPDSayTSktt15ebCcrLHrmkjJhkZQLCOZbvOt99UvHoawzSLwTGDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T02:04:49.209394Z"},"content_sha256":"89f91e2e32702ad3c1d9ded91d6e2a9fe9625d834506cf9df1020180729bad00","schema_version":"1.0","event_id":"sha256:89f91e2e32702ad3c1d9ded91d6e2a9fe9625d834506cf9df1020180729bad00"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WC3SO32WOYFJKPAS2MYGG5J4HX/bundle.json","state_url":"https://pith.science/pith/WC3SO32WOYFJKPAS2MYGG5J4HX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WC3SO32WOYFJKPAS2MYGG5J4HX/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-05T02:04:49Z","links":{"resolver":"https://pith.science/pith/WC3SO32WOYFJKPAS2MYGG5J4HX","bundle":"https://pith.science/pith/WC3SO32WOYFJKPAS2MYGG5J4HX/bundle.json","state":"https://pith.science/pith/WC3SO32WOYFJKPAS2MYGG5J4HX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WC3SO32WOYFJKPAS2MYGG5J4HX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:WC3SO32WOYFJKPAS2MYGG5J4HX","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":"3d4bf96f670b5212e9356e316ddda707593458589f43f453bc2a8411756bd52b","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-22T20:29:59Z","title_canon_sha256":"781d506590168c3f84f0478716b1ce2c317e3f23206ad26ba106d34d2d951cb2"},"schema_version":"1.0","source":{"id":"2607.20712","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.20712","created_at":"2026-07-24T00:23:30Z"},{"alias_kind":"arxiv_version","alias_value":"2607.20712v1","created_at":"2026-07-24T00:23:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.20712","created_at":"2026-07-24T00:23:30Z"},{"alias_kind":"pith_short_12","alias_value":"WC3SO32WOYFJ","created_at":"2026-07-24T00:23:30Z"},{"alias_kind":"pith_short_16","alias_value":"WC3SO32WOYFJKPAS","created_at":"2026-07-24T00:23:30Z"},{"alias_kind":"pith_short_8","alias_value":"WC3SO32W","created_at":"2026-07-24T00:23:30Z"}],"graph_snapshots":[{"event_id":"sha256:89f91e2e32702ad3c1d9ded91d6e2a9fe9625d834506cf9df1020180729bad00","target":"graph","created_at":"2026-07-24T00:23:30Z","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/2607.20712/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Security protocol verification relies on formal tools such as ProVerif and OFMC. This study evaluates whether Large Language Models (LLMs) can perform comparable analysis. We test GPT and DeepSeek in chat and reasoning modes over three runs on 130 obfuscated AnB/AnBx protocols covering 388 security goals, scored against ProVerif and OFMC. Chat models reach 69 to 81% recall at precision below 31%. Reasoning models reverse this trade-off, reaching 66.5% precision for GPT and 45.4% for DeepSeek, but detect just over half the attacks. DeepSeek's two modes share one underlying model, so the compari","authors_text":"Derek Enodolomwanyi, Ioannis Sfyrakis, Paolo Modesti, Syed Ahmed","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-22T20:29:59Z","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.20712","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:f14856367ed46b4d4b71eefd0a73885b07b7275a76437d36846904ad467df343","target":"record","created_at":"2026-07-24T00:23:30Z","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":"3d4bf96f670b5212e9356e316ddda707593458589f43f453bc2a8411756bd52b","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-22T20:29:59Z","title_canon_sha256":"781d506590168c3f84f0478716b1ce2c317e3f23206ad26ba106d34d2d951cb2"},"schema_version":"1.0","source":{"id":"2607.20712","kind":"arxiv","version":1}},"canonical_sha256":"b0b7276f56760a953c12d33063753c3dd0629a2860022f482b274ab72a664687","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b0b7276f56760a953c12d33063753c3dd0629a2860022f482b274ab72a664687","first_computed_at":"2026-07-24T00:23:30.867939Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-24T00:23:30.867939Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vrx/bJIYTMy3LPyB2o9RudcyuYc+vQckvkHtWoYmF2yQu4S/R0e0jyXLxQWLexMSPTmSBjoE4Klpj+rFiLUSBQ==","signature_status":"signed_v1","signed_at":"2026-07-24T00:23:30.869143Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.20712","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f14856367ed46b4d4b71eefd0a73885b07b7275a76437d36846904ad467df343","sha256:89f91e2e32702ad3c1d9ded91d6e2a9fe9625d834506cf9df1020180729bad00"],"state_sha256":"ca1ee55517632aafb64eb701e512001373573e9947fd7d20769bfad0fd45a7bc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lvAzCDKZKWMe5TVCT43qYps3RuMCQpO6x7Vet3vgmEZh4ABtYgpFdL7AOPrGbUYPBUmMfcFl5DPemtOb/kUtCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T02:04:49.211784Z","bundle_sha256":"dfe12a4443aa04762574d608adfb4e69033ebcb1166021cce42d674dfde570e9"}}