The Bitcoin Backbone Protocol: Analysis and Applications.

Juan A. Garay Aggelos Kiayias Nikos Leonardos

Published in: EUROCRYPT (2) (2015)

Keyphrases

real time
statistical analysis
databases
neural network
machine learning
information retrieval
website
case study
lightweight
model checking
formal analysis