Universal Samplers with Fast Verification.

Venkata Koppula Andrew Poelstra Brent Waters

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

Keyphrases

random sampling
formal verification
face verification
bayesian inference
signature verification
model checking
formal analysis
verification method
real time
databases
data mining
information retrieval
knowledge base
active learning
turing machine
sequence prediction