Verification of Concurrent Quantum Protocols by Equivalence Checking.

Ebrahim Ardeshir-Larijani Simon J. Gay Rajagopal Nagarajan

Published in: TACAS (2014)

Keyphrases

verification method
cryptographic protocols
model checking
protocol specification
quantum mechanics
quantum computation
quantum inspired
quantum computing
high security
mutual exclusion
formal analysis
multi party
application level
formal verification
security protocols
database systems
neural network