Blindness and Verification of Quantum Computation with One Pure Qubit.

Theodoros Kapourniotis Elham Kashefi Animesh Datta

Published in: TQC (2014)

Keyphrases

quantum computation
model checking
formal verification
person identification
cryptographic protocols
high security
verification method
database
neural network
face verification