Toward Automatic Verification of Quantum Cryptographic Protocols.

Yuan Feng, Mingsheng Ying

Browse the full CONCUR paper archive.