Paolo Modesti, Siamak F. Shahandashti, Patrick McCorry, Feng Hao 0001. Formal modelling and security analysis of bitcoin's payment protocol. Computers & Security, 107:102279, 2021. [doi]
@article{ModestiSMH21,
title = {Formal modelling and security analysis of bitcoin's payment protocol},
author = {Paolo Modesti and Siamak F. Shahandashti and Patrick McCorry and Feng Hao 0001},
year = {2021},
doi = {10.1016/j.cose.2021.102279},
url = {https://doi.org/10.1016/j.cose.2021.102279},
researchr = {https://researchr.org/publication/ModestiSMH21},
cites = {0},
citedby = {0},
journal = {Computers & Security},
volume = {107},
pages = {102279},
}