{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:3VI7KNDUKMN5MTRM7GM6U4LREF","short_pith_number":"pith:3VI7KNDU","canonical_record":{"source":{"id":"2305.12173","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-05-20T11:26:51Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"7e4c737fee1f147d0f6e1bf2a4e68faea08e9b8619f6849ad25ece4e7a5fb132","abstract_canon_sha256":"9cb55052d7309209a343b5162e0bf1db0b11a974b0bc0b1784aef7a07847683b"},"schema_version":"1.0"},"canonical_sha256":"dd51f53474531bd64e2cf999ea7171216a58b94ab77988c76a31996bb7738b56","source":{"kind":"arxiv","id":"2305.12173","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.12173","created_at":"2026-07-05T08:04:31Z"},{"alias_kind":"arxiv_version","alias_value":"2305.12173v2","created_at":"2026-07-05T08:04:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.12173","created_at":"2026-07-05T08:04:31Z"},{"alias_kind":"pith_short_12","alias_value":"3VI7KNDUKMN5","created_at":"2026-07-05T08:04:31Z"},{"alias_kind":"pith_short_16","alias_value":"3VI7KNDUKMN5MTRM","created_at":"2026-07-05T08:04:31Z"},{"alias_kind":"pith_short_8","alias_value":"3VI7KNDU","created_at":"2026-07-05T08:04:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:3VI7KNDUKMN5MTRM7GM6U4LREF","target":"record","payload":{"canonical_record":{"source":{"id":"2305.12173","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-05-20T11:26:51Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"7e4c737fee1f147d0f6e1bf2a4e68faea08e9b8619f6849ad25ece4e7a5fb132","abstract_canon_sha256":"9cb55052d7309209a343b5162e0bf1db0b11a974b0bc0b1784aef7a07847683b"},"schema_version":"1.0"},"canonical_sha256":"dd51f53474531bd64e2cf999ea7171216a58b94ab77988c76a31996bb7738b56","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:04:31.805910Z","signature_b64":"SgnKAovF4kKYrXBgcgXojVMDYKcI4y41am3WmkAWgReXo/8Jr3S5pDdBXxclDRKdBSguHi3xyZ2ovWI2Hm5iBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dd51f53474531bd64e2cf999ea7171216a58b94ab77988c76a31996bb7738b56","last_reissued_at":"2026-07-05T08:04:31.805416Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:04:31.805416Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.12173","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:04:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0zwv5B5lD7KzX8O5eQrLZnNTBH5E4X3dM8cddEJg0DHWruYsiQjUl/3hWXzi4olVlibqcMm65HGyhLNIMkFdCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T01:37:47.759141Z"},"content_sha256":"b7ab286aa4302cdfb8d3e04636f15342d50f1b952e2440ecfcec9aad9f001800","schema_version":"1.0","event_id":"sha256:b7ab286aa4302cdfb8d3e04636f15342d50f1b952e2440ecfcec9aad9f001800"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:3VI7KNDUKMN5MTRM7GM6U4LREF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CR","authors_text":"Laura Kov\\'acs, Matteo Maffei, Michael Rawson, Simon Jeanteur","submitted_at":"2023-05-20T11:26:51Z","abstract_excerpt":"Cryptographic protocols are hard to design and prove correct, as witnessed by the ever-growing list of attacks even on protocol standards. Symbolic models of cryptography enable automated formal security proofs of such protocols against an idealized model, which abstracts away from the algebraic properties of cryptographic schemes and thus misses attacks. Computational models yield rigorous guarantees but support at present only interactive proofs and/or restricted classes of protocols. A promising approach is given by the computationally complete symbolic attacker (CCSA), formalized in the BC"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.12173","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/2305.12173/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:04:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bcld/GmRNnaYy2SBrg4G+MmiMgSZCh2uHbKebAgKzExVsOJ9/WCVFOvMDN0ERoHV9UUuAMf7bx+um3vuRRqACw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T01:37:47.760173Z"},"content_sha256":"4cf4d1b5410bea7cfdcc82d0568e82cba1fe08369294e6f06bf47c7dece3de02","schema_version":"1.0","event_id":"sha256:4cf4d1b5410bea7cfdcc82d0568e82cba1fe08369294e6f06bf47c7dece3de02"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3VI7KNDUKMN5MTRM7GM6U4LREF/bundle.json","state_url":"https://pith.science/pith/3VI7KNDUKMN5MTRM7GM6U4LREF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3VI7KNDUKMN5MTRM7GM6U4LREF/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-16T01:37:47Z","links":{"resolver":"https://pith.science/pith/3VI7KNDUKMN5MTRM7GM6U4LREF","bundle":"https://pith.science/pith/3VI7KNDUKMN5MTRM7GM6U4LREF/bundle.json","state":"https://pith.science/pith/3VI7KNDUKMN5MTRM7GM6U4LREF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3VI7KNDUKMN5MTRM7GM6U4LREF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:3VI7KNDUKMN5MTRM7GM6U4LREF","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":"9cb55052d7309209a343b5162e0bf1db0b11a974b0bc0b1784aef7a07847683b","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-05-20T11:26:51Z","title_canon_sha256":"7e4c737fee1f147d0f6e1bf2a4e68faea08e9b8619f6849ad25ece4e7a5fb132"},"schema_version":"1.0","source":{"id":"2305.12173","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.12173","created_at":"2026-07-05T08:04:31Z"},{"alias_kind":"arxiv_version","alias_value":"2305.12173v2","created_at":"2026-07-05T08:04:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.12173","created_at":"2026-07-05T08:04:31Z"},{"alias_kind":"pith_short_12","alias_value":"3VI7KNDUKMN5","created_at":"2026-07-05T08:04:31Z"},{"alias_kind":"pith_short_16","alias_value":"3VI7KNDUKMN5MTRM","created_at":"2026-07-05T08:04:31Z"},{"alias_kind":"pith_short_8","alias_value":"3VI7KNDU","created_at":"2026-07-05T08:04:31Z"}],"graph_snapshots":[{"event_id":"sha256:4cf4d1b5410bea7cfdcc82d0568e82cba1fe08369294e6f06bf47c7dece3de02","target":"graph","created_at":"2026-07-05T08:04:31Z","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/2305.12173/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Cryptographic protocols are hard to design and prove correct, as witnessed by the ever-growing list of attacks even on protocol standards. Symbolic models of cryptography enable automated formal security proofs of such protocols against an idealized model, which abstracts away from the algebraic properties of cryptographic schemes and thus misses attacks. Computational models yield rigorous guarantees but support at present only interactive proofs and/or restricted classes of protocols. A promising approach is given by the computationally complete symbolic attacker (CCSA), formalized in the BC","authors_text":"Laura Kov\\'acs, Matteo Maffei, Michael Rawson, Simon Jeanteur","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-05-20T11:26:51Z","title":"CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.12173","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:b7ab286aa4302cdfb8d3e04636f15342d50f1b952e2440ecfcec9aad9f001800","target":"record","created_at":"2026-07-05T08:04:31Z","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":"9cb55052d7309209a343b5162e0bf1db0b11a974b0bc0b1784aef7a07847683b","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-05-20T11:26:51Z","title_canon_sha256":"7e4c737fee1f147d0f6e1bf2a4e68faea08e9b8619f6849ad25ece4e7a5fb132"},"schema_version":"1.0","source":{"id":"2305.12173","kind":"arxiv","version":2}},"canonical_sha256":"dd51f53474531bd64e2cf999ea7171216a58b94ab77988c76a31996bb7738b56","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd51f53474531bd64e2cf999ea7171216a58b94ab77988c76a31996bb7738b56","first_computed_at":"2026-07-05T08:04:31.805416Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:04:31.805416Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SgnKAovF4kKYrXBgcgXojVMDYKcI4y41am3WmkAWgReXo/8Jr3S5pDdBXxclDRKdBSguHi3xyZ2ovWI2Hm5iBw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:04:31.805910Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.12173","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b7ab286aa4302cdfb8d3e04636f15342d50f1b952e2440ecfcec9aad9f001800","sha256:4cf4d1b5410bea7cfdcc82d0568e82cba1fe08369294e6f06bf47c7dece3de02"],"state_sha256":"c21b255f9ffa1adde069b5c561718090b2d1a3bb89c2b0231b2e3ef26d5d80d2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E00lBZLpOgoAd/j/j4yhvcY9YCb+rGfdVHt0LVgBOWBeFc55bSOBFDSdrUmzdsL0cDrgV8i64v9P1qVpF2l8Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T01:37:47.765519Z","bundle_sha256":"cfd52fdff50f3980c931cf1a2952fb51e7a3c18cd67ba8ee568018f29ce8b265"}}