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]
@inproceedings{RauzyN21-0,
title = {THC: Practical and Cost-Effective Verification of Delegated Computation},
author = {Pablo Rauzy and Ali Nehme},
year = {2021},
doi = {10.1007/978-3-030-92548-2_27},
url = {https://doi.org/10.1007/978-3-030-92548-2_27},
researchr = {https://researchr.org/publication/RauzyN21-0},
cites = {0},
citedby = {0},
pages = {513-530},
booktitle = {Cryptology and Network Security - 20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings},
editor = {Mauro Conti and Marc Stevens 0001 and Stephan Krenn},
volume = {13099},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-92548-2},
}