Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish. Taking proof-based verified computation a few steps closer to practicality (extended version). IACR Cryptology ePrint Archive, 2012:598, 2012. [doi]
Abstract is missing.