Two-message verification of quantum computation.

Gorjan Alagic Andrew M. Childs Shih-Han Hung

Published in: CoRR (2019)

Keyphrases

quantum computation
model checking
email
databases
face verification
concurrent systems
information retrieval
learning algorithm
website
mobile robot
signature verification
program chairs