A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution.

Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano

Browse the full UC paper archive.