Verification of Quantum Computation and the Price of Trust.

Alexandru Gheorghiu Theodoros Kapourniotis Elham Kashefi

Published in: CSR (2017)

Keyphrases

quantum computation
trust model
model checking
trust evaluation
concurrent systems
databases
formal methods
face verification
database
data sets
neural network
temporal logic
virtual communities
social capital
asynchronous circuits
verification method