{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:MTKGMYQ5BRBDP7TNQKGMPM3ZP4","short_pith_number":"pith:MTKGMYQ5","canonical_record":{"source":{"id":"1507.05278","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-07-19T11:37:03Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"629c291d496ca673dc7211be07a8cc4e0bf21b95822ffd4de982c8489d2f85d8","abstract_canon_sha256":"01016995e9c10c283a10a34ce34648adccbf4279caa28a19e69f4ca5250aac9c"},"schema_version":"1.0"},"canonical_sha256":"64d466621d0c4237fe6d828cc7b3797f17e739d94136613b675e38c3dcb44e07","source":{"kind":"arxiv","id":"1507.05278","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.05278","created_at":"2026-05-18T01:36:37Z"},{"alias_kind":"arxiv_version","alias_value":"1507.05278v1","created_at":"2026-05-18T01:36:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.05278","created_at":"2026-05-18T01:36:37Z"},{"alias_kind":"pith_short_12","alias_value":"MTKGMYQ5BRBD","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"MTKGMYQ5BRBDP7TN","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"MTKGMYQ5","created_at":"2026-05-18T12:29:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:MTKGMYQ5BRBDP7TNQKGMPM3ZP4","target":"record","payload":{"canonical_record":{"source":{"id":"1507.05278","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-07-19T11:37:03Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"629c291d496ca673dc7211be07a8cc4e0bf21b95822ffd4de982c8489d2f85d8","abstract_canon_sha256":"01016995e9c10c283a10a34ce34648adccbf4279caa28a19e69f4ca5250aac9c"},"schema_version":"1.0"},"canonical_sha256":"64d466621d0c4237fe6d828cc7b3797f17e739d94136613b675e38c3dcb44e07","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:37.339570Z","signature_b64":"iBfrFT6/fOd0msKMd7vDhCIhukbkGUXuFIcop/D0NT3Ges3egTij7FPMQM5DsiC2jjfdAtEB45+lgaq5toeKAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"64d466621d0c4237fe6d828cc7b3797f17e739d94136613b675e38c3dcb44e07","last_reissued_at":"2026-05-18T01:36:37.338881Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:37.338881Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.05278","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-05-18T01:36:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iDD1IxHhnGtEkh7Jp/6ZPHMrIMVluKXke7vrv7/X8TItZZh9lA/m5m1nb15eqiBpGkN+TUA4EF1PzWhqYTU+Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T19:36:11.687471Z"},"content_sha256":"81770ab1c5bae54e1d0ee969f9c23713edd8884bbb1c10be740363a20a8ecd3c","schema_version":"1.0","event_id":"sha256:81770ab1c5bae54e1d0ee969f9c23713edd8884bbb1c10be740363a20a8ecd3c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:MTKGMYQ5BRBDP7TNQKGMPM3ZP4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Toward automatic verification of quantum cryptographic protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.CR","authors_text":"Mingsheng Ying, Yuan Feng","submitted_at":"2015-07-19T11:37:03Z","abstract_excerpt":"Several quantum process algebras have been proposed and successfully applied in verification of quantum cryptographic protocols. All of the bisimulations proposed so far for quantum processes in these process algebras are state-based, implying that they only compare individual quantum states, but not a combination of them. This paper remedies this problem by introducing a novel notion of distribution-based bisimulation for quantum processes. We further propose an approximate version of this bisimulation that enables us to prove more sophisticated security properties of quantum protocols which "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.05278","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":""},"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-18T01:36:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+2kHhV2iv52wO97JQpnPmKZZnhOTJqsMmd/rISV1MSNMuJl53/9dNMsCh16NkavjRhJ3s8O6GaWhPgnj3TgaBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T19:36:11.687867Z"},"content_sha256":"ca9359914106675e47553fb6a43d11edfb3e89a02f87007a48bdb47daf4a8dbc","schema_version":"1.0","event_id":"sha256:ca9359914106675e47553fb6a43d11edfb3e89a02f87007a48bdb47daf4a8dbc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MTKGMYQ5BRBDP7TNQKGMPM3ZP4/bundle.json","state_url":"https://pith.science/pith/MTKGMYQ5BRBDP7TNQKGMPM3ZP4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MTKGMYQ5BRBDP7TNQKGMPM3ZP4/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-04T19:36:11Z","links":{"resolver":"https://pith.science/pith/MTKGMYQ5BRBDP7TNQKGMPM3ZP4","bundle":"https://pith.science/pith/MTKGMYQ5BRBDP7TNQKGMPM3ZP4/bundle.json","state":"https://pith.science/pith/MTKGMYQ5BRBDP7TNQKGMPM3ZP4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MTKGMYQ5BRBDP7TNQKGMPM3ZP4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:MTKGMYQ5BRBDP7TNQKGMPM3ZP4","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":"01016995e9c10c283a10a34ce34648adccbf4279caa28a19e69f4ca5250aac9c","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-07-19T11:37:03Z","title_canon_sha256":"629c291d496ca673dc7211be07a8cc4e0bf21b95822ffd4de982c8489d2f85d8"},"schema_version":"1.0","source":{"id":"1507.05278","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.05278","created_at":"2026-05-18T01:36:37Z"},{"alias_kind":"arxiv_version","alias_value":"1507.05278v1","created_at":"2026-05-18T01:36:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.05278","created_at":"2026-05-18T01:36:37Z"},{"alias_kind":"pith_short_12","alias_value":"MTKGMYQ5BRBD","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"MTKGMYQ5BRBDP7TN","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"MTKGMYQ5","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:ca9359914106675e47553fb6a43d11edfb3e89a02f87007a48bdb47daf4a8dbc","target":"graph","created_at":"2026-05-18T01:36:37Z","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":"Several quantum process algebras have been proposed and successfully applied in verification of quantum cryptographic protocols. All of the bisimulations proposed so far for quantum processes in these process algebras are state-based, implying that they only compare individual quantum states, but not a combination of them. This paper remedies this problem by introducing a novel notion of distribution-based bisimulation for quantum processes. We further propose an approximate version of this bisimulation that enables us to prove more sophisticated security properties of quantum protocols which ","authors_text":"Mingsheng Ying, Yuan Feng","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-07-19T11:37:03Z","title":"Toward automatic verification of quantum cryptographic protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.05278","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:81770ab1c5bae54e1d0ee969f9c23713edd8884bbb1c10be740363a20a8ecd3c","target":"record","created_at":"2026-05-18T01:36:37Z","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":"01016995e9c10c283a10a34ce34648adccbf4279caa28a19e69f4ca5250aac9c","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-07-19T11:37:03Z","title_canon_sha256":"629c291d496ca673dc7211be07a8cc4e0bf21b95822ffd4de982c8489d2f85d8"},"schema_version":"1.0","source":{"id":"1507.05278","kind":"arxiv","version":1}},"canonical_sha256":"64d466621d0c4237fe6d828cc7b3797f17e739d94136613b675e38c3dcb44e07","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"64d466621d0c4237fe6d828cc7b3797f17e739d94136613b675e38c3dcb44e07","first_computed_at":"2026-05-18T01:36:37.338881Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:37.338881Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iBfrFT6/fOd0msKMd7vDhCIhukbkGUXuFIcop/D0NT3Ges3egTij7FPMQM5DsiC2jjfdAtEB45+lgaq5toeKAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:37.339570Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.05278","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:81770ab1c5bae54e1d0ee969f9c23713edd8884bbb1c10be740363a20a8ecd3c","sha256:ca9359914106675e47553fb6a43d11edfb3e89a02f87007a48bdb47daf4a8dbc"],"state_sha256":"ed306aac890690739caa3e395674b78245ca9c0608f1a40b9f262853d294e040"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jZHyRylMidIjFSA9RjA0vIneIqIkUGs93F2jSVDg3ft6raq5iTuMnRmAHtDOpzJLobZ2xyUTI0ELwQHoKvgNCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T19:36:11.690558Z","bundle_sha256":"004013149200f411a575de9581b10440c0b5a8e3876c7aa4d598203dcd597035"}}