×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [argument systems]
Documents
Making proof-based verified computation almost practical Michael Walfish The University of Texas at Austin
215 views
Documents
Making argument systems for outsourced computation practical (sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The
231 views
Documents
Making verifiable computation a systems problem Michael Walfish The University of Texas at Austin
219 views
Documents
Verifying remote executions: from wild implausibility to near practicality
17 views
Documents
Making argument systems for outsourced computation practical (sometimes)
35 views
Documents
Making verifiable computation a systems problem
56 views
Documents
Making proof-based verified computation almost practical
32 views
Documents
Verifying remote executions: from wild implausibility to near practicality
17 views