A Probabilistic Model of the Bitcoin Blockchain | IEEE Conference Publication | IEEE Xplore