Taking proof-based verified computation a few steps closer to practicality
Year: 2012
Type: article
Authors: Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
Institution: The University of Texas at Austin
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1930567086