A Formal Analysis of the Bitcoin Protocol

Cosimo Laneve, Adele Veschetti. A Formal Analysis of the Bitcoin Protocol. In Frank S. de Boer, Jacopo Mauro, editors, Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy. Volume 86 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

Abstract

Abstract is missing.