Making proof-based verified computation almost practical Michael Walfish The University of Texas at Austin.
Making argument systems for outsourced computation practical (sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The.
Making verifiable computation a systems problem Michael Walfish The University of Texas at Austin.
Verifying remote executions: from wild implausibility to near practicality
Making argument systems for outsourced computation practical (sometimes)
Making verifiable computation a systems problem
Making proof-based verified computation almost practical