Efficient Rational Proofs for Space Bounded Computations.

Matteo Campanelli Rosario Gennaro

Published in: GameSec (2017)

Keyphrases

decision making
cost effective
lightweight
space requirements
decision trees
data structure
expert systems
hidden markov models
probability distribution
space time
efficient computation