Login / Signup
Taking proof-based verified computation a few steps closer to practicality (extended version).
Srinath T. V. Setty
Victor Vu
Nikhil Panpalia
Benjamin Braun
Andrew J. Blumberg
Michael Walfish
Published in:
IACR Cryptol. ePrint Arch. (2012)
Keyphrases
</>
database
theorem prover
efficient computation
information retrieval
three dimensional
multiscale
multiresolution
multi step
efficiently computing
original version