Lewis Tseng. Bitcoin's Consistency Property. In Dong Seong Kim, Masato Kitakami, Vijay Varadharajan, editors, 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017. pages 219-220, IEEE Computer Society, 2017. [doi]
Abstract is missing.