Universal Samplers with Fast Verification.

Venkata Koppula Andrew Poelstra Brent Waters

Published in: Public Key Cryptography (2) (2017)

Keyphrases

model checking
random sampling
learning algorithm
face verification
verification method
neural network
formal verification
turing machine
database
hidden markov models
state space
least squares
bayesian inference
formal methods
signature verification
concurrent systems