{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:5QCBDLA6G26WWPXG5E4DZIHWNR","short_pith_number":"pith:5QCBDLA6","canonical_record":{"source":{"id":"1904.04186","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-08T16:50:15Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"ba712c97faa54f4783c53de1863f8f65aba6bdb70b744074ed672e0e82bc7167","abstract_canon_sha256":"bfba30275bfba9e946315032a99ceb93cb506fd58a7862422ca88da57f51c7bd"},"schema_version":"1.0"},"canonical_sha256":"ec0411ac1e36bd6b3ee6e9383ca0f66c7d960f37ae20869e8b1c877c1998f71e","source":{"kind":"arxiv","id":"1904.04186","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.04186","created_at":"2026-05-17T23:48:54Z"},{"alias_kind":"arxiv_version","alias_value":"1904.04186v2","created_at":"2026-05-17T23:48:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.04186","created_at":"2026-05-17T23:48:54Z"},{"alias_kind":"pith_short_12","alias_value":"5QCBDLA6G26W","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"5QCBDLA6G26WWPXG","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"5QCBDLA6","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:5QCBDLA6G26WWPXG5E4DZIHWNR","target":"record","payload":{"canonical_record":{"source":{"id":"1904.04186","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-08T16:50:15Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"ba712c97faa54f4783c53de1863f8f65aba6bdb70b744074ed672e0e82bc7167","abstract_canon_sha256":"bfba30275bfba9e946315032a99ceb93cb506fd58a7862422ca88da57f51c7bd"},"schema_version":"1.0"},"canonical_sha256":"ec0411ac1e36bd6b3ee6e9383ca0f66c7d960f37ae20869e8b1c877c1998f71e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:48:54.663174Z","signature_b64":"MelUo1fwZg87jf1dFuubHANoSeMWz2oyGgXsvFeq/p8eSQdoG9sMoJp6NcixmX+ndshoRXXFC5bmJppc7XUiDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ec0411ac1e36bd6b3ee6e9383ca0f66c7d960f37ae20869e8b1c877c1998f71e","last_reissued_at":"2026-05-17T23:48:54.662659Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:48:54.662659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.04186","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-05-17T23:48:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vyYPIG9cw/Apsk+qcre1P6oIW+Vcoijdsl80z0jjaFEX9g3IlSGpcjI12CA1HaprJhDbru5G/JE1v8dZdi/KAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T16:42:59.774118Z"},"content_sha256":"659e2dc6190ee9411a7339e116923119bddf52634a879fc6fac29bc714145494","schema_version":"1.0","event_id":"sha256:659e2dc6190ee9411a7339e116923119bddf52634a879fc6fac29bc714145494"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:5QCBDLA6G26WWPXG5E4DZIHWNR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic Abstractions for Quantum Protocol Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.CR","authors_text":"Lucca Hirschi","submitted_at":"2019-04-08T16:50:15Z","abstract_excerpt":"Quantum protocols such as the BB84 Quantum Key Distribution protocol exchange qubits to achieve information-theoretic security guarantees. Many variants thereof were proposed, some of them being already deployed. Existing security proofs in that field are mostly tedious, error-prone pen-and-paper proofs of the core protocol only that rarely account for other crucial components such as authentication. This calls for formal and automated verification techniques that exhaustively explore all possible intruder behaviors and that scale well.\n  The symbolic approach offers rigorous, mathematical fra"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.04186","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":""},"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-05-17T23:48:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x6bCSHbvo/wUAylVXzq6GrbdE/rBC63U3SXIgVw8zL0SnQh3AfLSLnJLze5+93CTM0zw2Th3m03VXLfJ84jLAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T16:42:59.774810Z"},"content_sha256":"eb8fe959a860c76a68a3f7a75a19fef4a8d28f7692ec82fd8d39dced473cba63","schema_version":"1.0","event_id":"sha256:eb8fe959a860c76a68a3f7a75a19fef4a8d28f7692ec82fd8d39dced473cba63"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5QCBDLA6G26WWPXG5E4DZIHWNR/bundle.json","state_url":"https://pith.science/pith/5QCBDLA6G26WWPXG5E4DZIHWNR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5QCBDLA6G26WWPXG5E4DZIHWNR/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-06-06T16:42:59Z","links":{"resolver":"https://pith.science/pith/5QCBDLA6G26WWPXG5E4DZIHWNR","bundle":"https://pith.science/pith/5QCBDLA6G26WWPXG5E4DZIHWNR/bundle.json","state":"https://pith.science/pith/5QCBDLA6G26WWPXG5E4DZIHWNR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5QCBDLA6G26WWPXG5E4DZIHWNR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:5QCBDLA6G26WWPXG5E4DZIHWNR","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":"bfba30275bfba9e946315032a99ceb93cb506fd58a7862422ca88da57f51c7bd","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-08T16:50:15Z","title_canon_sha256":"ba712c97faa54f4783c53de1863f8f65aba6bdb70b744074ed672e0e82bc7167"},"schema_version":"1.0","source":{"id":"1904.04186","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.04186","created_at":"2026-05-17T23:48:54Z"},{"alias_kind":"arxiv_version","alias_value":"1904.04186v2","created_at":"2026-05-17T23:48:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.04186","created_at":"2026-05-17T23:48:54Z"},{"alias_kind":"pith_short_12","alias_value":"5QCBDLA6G26W","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"5QCBDLA6G26WWPXG","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"5QCBDLA6","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:eb8fe959a860c76a68a3f7a75a19fef4a8d28f7692ec82fd8d39dced473cba63","target":"graph","created_at":"2026-05-17T23:48:54Z","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"},"paper":{"abstract_excerpt":"Quantum protocols such as the BB84 Quantum Key Distribution protocol exchange qubits to achieve information-theoretic security guarantees. Many variants thereof were proposed, some of them being already deployed. Existing security proofs in that field are mostly tedious, error-prone pen-and-paper proofs of the core protocol only that rarely account for other crucial components such as authentication. This calls for formal and automated verification techniques that exhaustively explore all possible intruder behaviors and that scale well.\n  The symbolic approach offers rigorous, mathematical fra","authors_text":"Lucca Hirschi","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-08T16:50:15Z","title":"Symbolic Abstractions for Quantum Protocol Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.04186","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:659e2dc6190ee9411a7339e116923119bddf52634a879fc6fac29bc714145494","target":"record","created_at":"2026-05-17T23:48:54Z","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":"bfba30275bfba9e946315032a99ceb93cb506fd58a7862422ca88da57f51c7bd","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-08T16:50:15Z","title_canon_sha256":"ba712c97faa54f4783c53de1863f8f65aba6bdb70b744074ed672e0e82bc7167"},"schema_version":"1.0","source":{"id":"1904.04186","kind":"arxiv","version":2}},"canonical_sha256":"ec0411ac1e36bd6b3ee6e9383ca0f66c7d960f37ae20869e8b1c877c1998f71e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec0411ac1e36bd6b3ee6e9383ca0f66c7d960f37ae20869e8b1c877c1998f71e","first_computed_at":"2026-05-17T23:48:54.662659Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:54.662659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MelUo1fwZg87jf1dFuubHANoSeMWz2oyGgXsvFeq/p8eSQdoG9sMoJp6NcixmX+ndshoRXXFC5bmJppc7XUiDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:54.663174Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.04186","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:659e2dc6190ee9411a7339e116923119bddf52634a879fc6fac29bc714145494","sha256:eb8fe959a860c76a68a3f7a75a19fef4a8d28f7692ec82fd8d39dced473cba63"],"state_sha256":"14bdf587eff137b3fd9aa410039d5e76b7c72dac3ace6aea97ba1c6d18069d93"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DaSNBTaieZxkTeZnJGvjJWm9RMfIEmtEpCftrgYhBWBJTrijUdKvBK2UbPNyC4YPWrriozkLUlIViIJMjlvhAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T16:42:59.778691Z","bundle_sha256":"3615be18a12699f1f33cd09deede34eb6df8550094af48612fa97a07e5647561"}}