A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution

Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano. A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution. In Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg, editors, Unconventional Computation - 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings. Volume 6714 of Lecture Notes in Computer Science, pages 125-137, Springer, 2011. [doi]

Authors

Takahiro Kubota

This author has not been identified. Look up 'Takahiro Kubota' in Google

Yoshihiko Kakutani

This author has not been identified. Look up 'Yoshihiko Kakutani' in Google

Go Kato

This author has not been identified. Look up 'Go Kato' in Google

Yasuhito Kawano

This author has not been identified. Look up 'Yasuhito Kawano' in Google