Delegating computation: Interactive proofs for Muggles (2008)

by Shafi Goldwasser, Yael Tauman Kalai, Guy N Rothblum
Venue:In STOC ’08: Proceedings of the 40th Annual ACM Symposium on Theory of Computing