×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [argument systems]
Making proof-based verified computation almost practical Michael Walfish The University of Texas at Austin
215 views
Making argument systems for outsourced computation practical (sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The
230 views
Making verifiable computation a systems problem Michael Walfish The University of Texas at Austin
217 views
Verifying remote executions: from wild implausibility to near practicality
17 views
Verifying remote executions: from wild implausibility to near practicality
16 views
Making argument systems for outsourced computation practical (sometimes)
33 views
Making verifiable computation a systems problem
49 views
Making proof-based verified computation almost practical
28 views