Verifiable computation using multiple provers.

Andrew J. Blumberg Justin Thaler Victor Vu Michael Walfish

Published in: IACR Cryptol. ePrint Arch. (2014)

Keyphrases

decision trees
data sets
data mining
genetic algorithm
information systems
case study
image sequences
wireless sensor networks
knowledge representation
theorem prover
efficient computation