THC: Practical and Cost-Effective Verification of Delegated Computation

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]

Authors

Pablo Rauzy

This author has not been identified. Look up 'Pablo Rauzy' in Google

Ali Nehme

This author has not been identified. Look up 'Ali Nehme' in Google