1 paper · 1 filter
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…