Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification.

Sergiu Bursuc Steve Kremer

Published in: ESORICS (1) (2019)

Keyphrases

automated verification
statistical models
neural network
information retrieval
prior knowledge
probabilistic model
classification models