1 paper
Max DiGiacomo-Castillo, Yiyun Liang, Advay Pal +1
The Bitcoin Backbone Protocol [GKL15] is an abstraction of the bitcoin proof-of-work consensus protocol. We use a model-checking tool (UPPAALSMC) to examine the concrete security o…