Bitcoin's Security Model Revisited
The Bitcoin Backbone Protocol: Analysis and Applications