C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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