Taking Proof-Based Verified Computation a Few Steps Closer to Practicality presented at USENIX 2012

by Andrew j. Blumberg, Michael Walfish, Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun,

Summary : N/A