Pablo Rauzy, Ali Nehme. THC: Practical and Cost-Effective Verification of Delegated Computation. In Mauro Conti, Marc Stevens 0001, Stephan Krenn, editors, Cryptology and Network Security - 20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings. Volume 13099 of Lecture Notes in Computer Science, pages 513-530, Springer, 2021. [doi]
Abstract is missing.