Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When

First Page		Document Content
Date: 2017-11-11 14:59:54 Cryptography Distributed computing architecture Parallel computing MapReduce Certificate IP NP Commitment scheme PP Computational complexity theory		Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When Add to Reading List Source URL: www.pepper-project.org Download Document from Source Website File Size: 533,75 KB Share Document on Facebook

	CVA Memo #138 Sikker: A High-Performance Distributed System Architecture for Secure Service-Oriented Computing Nicholas McDonald and William J. Dally DocID: 1uuaH - View Document
	CVA Memo #137 Sikker: A Distributed System Architecture for Secure High Performance Computing Nicholas McDonald DocID: 1uivM - View Document
	Hudson Execution and Scheduling Architecture DocID: 1rtYD - View Document
	Microsoft Word - HotPower_camera_ready_ACM_format DocID: 1rtKl - View Document
	SplitStream: High-bandwidth content distribution in cooperative environments Miguel Castro1 Peter Druschel2 Antony Rowstron1 DocID: 1rry7 - View Document