DocSlides

PPT-Making proof-based verified computation almost practical

SO

danika-pritchard

Published 2015-09-28 | 5524 Views

Making proof-based verified computation almost practical
Michael Walfish The University of Texas at Austin The motivation is 3 rd party computing cloud volunteers etc We desire the following properties in the above exchange

Download Presentation

Download Presentation The PPT/PDF document "Making proof-based verified computation ..." is the property of its rightful owner. Permission is granted to download and print the materials on this website for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.

Presentation Transcript