Login / Signup
Verifying computations with state.
Benjamin Braun
Ariel J. Feldman
Zuocheng Ren
Srinath T. V. Setty
Andrew J. Blumberg
Michael Walfish
Published in:
IACR Cryptol. ePrint Arch. (2013)
Keyphrases
</>
databases
information technology
state space
search engine
database
real time
decision making
high quality
bayesian networks
pattern recognition
pairwise
control system
dynamic programming