75 citations · 116 across the 7 of their papers we have counts for
1 paper · 2 filters
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…