Hunting and Gathering - Verifiable Random Functions from Standard Assumptions with Short Proofs.

Published in: IACR Cryptol. ePrint Arch. (2019)

Keyphrases

data sets
computer vision
image sequences
relational databases
wireless sensor networks
sufficient conditions
randomly generated
theorem proving
information gathering
formal proofs