External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Semi-automated verification of security proofs of quantum cryptographic protocols

Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada. Semi-automated verification of security proofs of quantum cryptographic protocols. Journal of Symbolic Computation, 73:192-220, 2016. [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

Hideki Sakurada

This author has not been identified. Look up 'Hideki Sakurada' in Google
runs on