The Bitcoin Backbone Protocol with Chains of Variable Difficulty.

Juan A. Garay Aggelos Kiayias Nikos Leonardos

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

Keyphrases

trusted third party
lightweight
formal analysis
network protocols
credit card
authentication protocol
cryptographic protocols
real time
low cost
multi party
security protocols
file transfer
coloured petri nets