@inproceedings{rauzy2021thc,
  title={{THC: Practical and Cost-Effective Verification of Delegated Computation}},
  author={Rauzy, Pablo and Nehme, Ali},
  year={2021},
  booktitle={20th International Conference on Cryptology and Network Security},
  eprint={https://eprint.iacr.org/2021/1118}
}