Modeling and Verification of the Bitcoin Protocol

Year	2015
Author	Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Marielle Stoelinga
Publisher	arXiv
Link	View Research Paper
Categories	Bitcoin / Cryptocurrencies

Deconstructing Decentralised Exchanges

2019

Exchanges

2018

Blockchain

Zhiguo He

Blockchain