Equivalence Checking of Quantum Protocols.

Ebrahim Ardeshir-Larijani Simon J. Gay Rajagopal Nagarajan

Published in: TACAS (2013)

Keyphrases

quantum computation
quantum mechanics
quantum computing
communication protocol
cryptographic protocols
communication protocols
quantum inspired
probability ranking principle
machine learning
search engine
case study
application level
voting protocols