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