Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. - Srinath T. V. Setty; Victor Vu; Nikhil Panpalia; Benjamin Braun; Andrew J. Blumberg; Michael Walfish (USENIX Security Symposium, 2012)

Taking proof-based verified computation a few steps closer to practicality (extended version). - Srinath T. V. Setty; Victor Vu; Nikhil Panpalia; Benjamin Braun; Andrew J. Blumberg; Michael Walfish (IACR Cryptol. ePrint Arch., 2012)