Dec. 1: Efficient Verification of Computation on Untrusted Platforms

Yael Tauman Kalai