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. In Tadayoshi Kohno, editor, Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012. pages 253-268, USENIX Association, 2012. [doi]
Abstract is missing.