DMCA

Automated Verification of Equivalence on Quantum Cryptographic Protocols

by Takahiro Kubota , Yoshihiko Kakutani , Go Kato , Yasuhito Kawano , Hideki Sakurada