Toward Automatic Verification of Quantum Cryptographic Protocols.

Yuan Feng Mingsheng Ying

Published in: CONCUR (2015)

Keyphrases

cryptographic protocols
standard model
security properties
authentication protocol
quantum computing
security protocols
locally decodable codes
query processing
formal verification
digital libraries
high dimensional
data management
computer systems
quadtree