Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2504.20417 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908379892416512 |
|---|---|
| author | Mizutani, Akihiro Sasaki, Toshihiko Kato, Go |
| author_facet | Mizutani, Akihiro Sasaki, Toshihiko Kato, Go |
| contents | In this paper, we present a flowchart-based description of the decoy-state BB84 quantum key distribution (QKD) protocol and provide a step-by-step, self-contained information-theoretic security proof for this protocol within the universal composable security framework. As a result, our proof yields a key rate consistent with previous findings. Importantly, unlike all the prior security proofs, our approach offers a fully rigorous and mathematical justification for achieving the key rate with the claimed correctness and secrecy parameters, thereby representing a significant step toward the formal certification of QKD systems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_20417 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Protocol-level description and self-contained security proof of decoy-state BB84 QKD protocol Mizutani, Akihiro Sasaki, Toshihiko Kato, Go Quantum Physics In this paper, we present a flowchart-based description of the decoy-state BB84 quantum key distribution (QKD) protocol and provide a step-by-step, self-contained information-theoretic security proof for this protocol within the universal composable security framework. As a result, our proof yields a key rate consistent with previous findings. Importantly, unlike all the prior security proofs, our approach offers a fully rigorous and mathematical justification for achieving the key rate with the claimed correctness and secrecy parameters, thereby representing a significant step toward the formal certification of QKD systems. |
| title | Protocol-level description and self-contained security proof of decoy-state BB84 QKD protocol |
| topic | Quantum Physics |
| url | https://arxiv.org/abs/2504.20417 |