Skip to content

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

Pablo Rauzy, Ali Nehme

VenueBCANS
Year2021
ProceedingsCANS

Browse the full CANS paper archive.