Documents Verifying remote executions: from wild implausibility to near practicality

Making argument systems for outsourced computation practical (sometimes) Verifying remote executions: from wild implausibility to near practicality Michael Walfish NYU and…

Documents Making proof-based verified computation almost practical

Making argument systems for outsourced computation practical (sometimes) Making proof-based verified computation almost practical Michael Walfish The University of Texas…