TY - RPRT TI - Protocol-level description and self-contained security proof of decoy-state BB84 QKD protocol AU - Akihiro Mizutani AU - Toshihiko Sasaki AU - Go Kato PY - 2025 UR - https://arxiv.org/abs/2504.20417 ID - 2504.20417 ER -