1![Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W](https://www.pdfsearch.io/img/e94ab3f84280d8f9c721f40624edbf3b.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
2![An extended abstract of this paper appears in Victor Shoup, editor, Advances in Cryptology – CRYPTO 2005, Volume 3621 of Lecture Notes in Computer Science, pages 205–222, Santa Barbara, California, August 14 – 18, An extended abstract of this paper appears in Victor Shoup, editor, Advances in Cryptology – CRYPTO 2005, Volume 3621 of Lecture Notes in Computer Science, pages 205–222, Santa Barbara, California, August 14 – 18,](https://www.pdfsearch.io/img/fb2e53eaf2c873f12f0c4dc8ecdb3e7f.jpg) | Add to Reading ListSource URL: www.neven.orgLanguage: English - Date: 2012-04-18 06:07:55
|
---|
3![Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at](https://www.pdfsearch.io/img/70ee3ac14ada118b31bf4b70b1d9d6ec.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
4![A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the](https://www.pdfsearch.io/img/a5aee081700b20db726bccf6a69bc873.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
5![](/pdf-icon.png) | Add to Reading ListSource URL: victor.callaghan.info- Date: 2012-12-31 15:13:32
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: victor.callaghan.info- Date: 2012-12-31 15:18:57
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: victor.chahuneau.fr- Date: 2018-03-05 06:14:49
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: victor.callaghan.info- Date: 2012-12-31 15:20:01
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: victor.callaghan.info- Date: 2013-02-02 17:21:53
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: victor.callaghan.info- Date: 2012-12-31 15:14:22
|
---|