Cryptology ePrint Archive: Report 2012/598

Available versions in chronological order

20121025:125752 (posted 25-Oct-2012 12:57:52 UTC): Taking proof-based verified computation a few steps closer to practicality (extended version); Srinath Setty and Victor Vu and Benjamin Braun and Andrew J. Blumberg and Michael Walfish; Publication Info: This paper is an extended version of a previous publication. This version includes four Appendices (B--E) that were elided from the published version, for space.
20121025:213507 (posted 25-Oct-2012 21:35:07 UTC): Taking proof-based verified computation a few steps closer to practicality (extended version); Srinath Setty and Victor Vu and Nikhil Panpalia and Benjamin Braun and Andrew J. Blumberg and Michael Walfish; Publication Info: This paper is an extended version of a previous publication. This version includes four Appendices (B--E) that were elided from the published version, for space.
20130228:071118 (posted 28-Feb-2013 07:11:18 UTC): Taking proof-based verified computation a few steps closer to practicality (extended version); Srinath Setty and Victor Vu and Nikhil Panpalia and Benjamin Braun and Muqeet Ali and Andrew J. Blumberg and Michael Walfish; Publication Info: This paper is an extended version of a previous publication. This version includes four Appendices (B--E) that were elided from the published version, for space.