Taking Proof-Based Verified Computation a Few Steps Closer to Practicality

No ratings

Presented at USENIX 2012 by

Andrew Blumberg

Michael Walfish

Srinath Setty

Victor Vu

Nikhil Panpalia

Benjamin Braun

N/A