THC: Practical and Cost-Effective Verification of Delegated Computation.

Pablo Rauzy Ali Nehme

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

Keyphrases

cost effective
low cost
cost effectiveness
data center
real time
real world
practical problems
data mining
information retrieval
intrusion detection
model checking
practical application