Cryptology ePrint Archive: Report 2017/1124

Available versions in chronological order


A formal model of Bitcoin transactions
Nicola Atzei and Massimo Bartoletti and Stefano Lande and Roberto Zunino

A formal model of Bitcoin transactions
Nicola Atzei and Massimo Bartoletti and Stefano Lande and Roberto Zunino

A formal model of Bitcoin transactions
Nicola Atzei and Massimo Bartoletti and Stefano Lande and Roberto Zunino

A formal model of Bitcoin transactions
Nicola Atzei and Massimo Bartoletti and Stefano Lande and Roberto Zunino
Original publication (with minor differences): Financial Cryptography and Data Security 2018

A formal model of Bitcoin transactions
Nicola Atzei and Massimo Bartoletti and Stefano Lande and Roberto Zunino
Original publication (with minor differences): Financial Cryptography and Data Security 2018


[ Cryptology ePrint archive ]