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

Pablo Rauzy Ali Nehme

Published in: CANS (2021)

Keyphrases

cost effective
low cost
cost effectiveness
practical application
distributed environment
real world
practical problems
artificial intelligence
data acquisition
formal methods