Contents Abbreviations ix

First Page		Document Content
Date: 2013-02-22 14:30:32 Geography of Indiana Hugh of Saint Victor Notre Dame de Paris Richard of Saint Victor Hildegard of Bingen Victor Hugh Notre Dame Christian mystics Christianity St. Joseph County Indiana		Contents Abbreviations ix Add to Reading List Source URL: www3.undpress.nd.edu Download Document from Source Website File Size: 470,60 KB Share Document on Facebook

	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 DocID: 1xVQw - View Document
	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, DocID: 1xVAE - View Document
	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 DocID: 1xUGv - View Document
	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 DocID: 1xTfa - View Document
	PDF Document DocID: 1xIZk - View Document