Dec. 1: Efficient Verification of Computation on Untrusted Platforms

 Efficient Verification of Computation on Untrusted Platforms