TY - RPRT TI - Verifiable Computation with Massively Parallel Interactive Proofs AU - Justin Thaler AU - Mike Roberts AU - Michael Mitzenmacher AU - Hanspeter Pfister PY - 2012 UR - https://arxiv.org/abs/1202.1350 ID - 1202.1350 ER -