Login / Signup
Taking Proof-Based Verified Computation a Few Steps Closer to Practicality.
Srinath T. V. Setty
Victor Vu
Nikhil Panpalia
Benjamin Braun
Andrew J. Blumberg
Michael Walfish
Published in:
USENIX Security Symposium (2012)
Keyphrases
</>
search engine
efficient computation
information systems
multi step
information retrieval
genetic algorithm
face recognition
video sequences
cooperative
theorem prover