A simulation model for analysis of attacks on the Bitcoin peer-to-peer network
The Bitcoin Backbone Protocol: Analysis and Applications