Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada. Automated Verification of Equivalence on Quantum Cryptographic Protocols. In Laura Kovács, Temur Kutsia, editors, 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013. Volume 15 of EPiC Series, pages 64-69, EasyChair, 2013. [doi]
Abstract is missing.