Toward automatic verification of quantum cryptographic protocols.

Yuan Feng Mingsheng Ying

Published in: CoRR (2015)

Keyphrases

cryptographic protocols
security properties
standard model
authentication protocol
quantum computing
security protocols
private information retrieval
database
encryption decryption
locally decodable codes