{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:5QCBDLA6G26WWPXG5E4DZIHWNR","short_pith_number":"pith:5QCBDLA6","schema_version":"1.0","canonical_sha256":"ec0411ac1e36bd6b3ee6e9383ca0f66c7d960f37ae20869e8b1c877c1998f71e","source":{"kind":"arxiv","id":"1904.04186","version":2},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1904.04186","created_at":"2026-05-17T23:48:54.662744+00:00"},{"alias_kind":"arxiv_version","alias_value":"1904.04186v2","created_at":"2026-05-17T23:48:54.662744+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.04186","created_at":"2026-05-17T23:48:54.662744+00:00"},{"alias_kind":"pith_short_12","alias_value":"5QCBDLA6G26W","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_16","alias_value":"5QCBDLA6G26WWPXG","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_8","alias_value":"5QCBDLA6","created_at":"2026-05-18T12:33:10.108867+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/5QCBDLA6G26WWPXG5E4DZIHWNR","json":"https://pith.science/pith/5QCBDLA6G26WWPXG5E4DZIHWNR.json","graph_json":"https://pith.science/api/pith-number/5QCBDLA6G26WWPXG5E4DZIHWNR/graph.json","events_json":"https://pith.science/api/pith-number/5QCBDLA6G26WWPXG5E4DZIHWNR/events.json","paper":"https://pith.science/paper/5QCBDLA6"},"agent_actions":{"view_html":"https://pith.science/pith/5QCBDLA6G26WWPXG5E4DZIHWNR","download_json":"https://pith.science/pith/5QCBDLA6G26WWPXG5E4DZIHWNR.json","view_paper":"https://pith.science/paper/5QCBDLA6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1904.04186&json=true","fetch_graph":"https://pith.science/api/pith-number/5QCBDLA6G26WWPXG5E4DZIHWNR/graph.json","fetch_events":"https://pith.science/api/pith-number/5QCBDLA6G26WWPXG5E4DZIHWNR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5QCBDLA6G26WWPXG5E4DZIHWNR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5QCBDLA6G26WWPXG5E4DZIHWNR/action/storage_attestation","attest_author":"https://pith.science/pith/5QCBDLA6G26WWPXG5E4DZIHWNR/action/author_attestation","sign_citation":"https://pith.science/pith/5QCBDLA6G26WWPXG5E4DZIHWNR/action/citation_signature","submit_replication":"https://pith.science/pith/5QCBDLA6G26WWPXG5E4DZIHWNR/action/replication_record"}},"created_at":"2026-05-17T23:48:54.662744+00:00","updated_at":"2026-05-17T23:48:54.662744+00:00"}