Verifiable Random Functions from Non-Interactive Witness-Indistinguishable Proofs.

Published in: Electron. Colloquium Comput. Complex. (2017)

Keyphrases

virtual reality
theorem proving
formal proof
graphical interface
sufficient conditions
computer graphics
highly interactive
uniformly distributed
randomly generated
user friendly
data sets
wireless sensor networks
case study
clustering algorithm
image processing
learning algorithm
data mining
databases