Max DiGiacomo-Castillo, Yiyun Liang, Advay Pal, John C. Mitchell. Model Checking Bitcoin and other Proof-of-Work Consensus Protocols. In 2020 IEEE International Conference on Blockchain, Blockchain 2020, Rhodes Island, Greece, November 2-6, 2020. pages 351-358, IEEE, 2020. [doi]
@inproceedings{DiGiacomo-Castillo20,
title = {Model Checking Bitcoin and other Proof-of-Work Consensus Protocols},
author = {Max DiGiacomo-Castillo and Yiyun Liang and Advay Pal and John C. Mitchell},
year = {2020},
doi = {10.1109/Blockchain50366.2020.00051},
url = {https://doi.org/10.1109/Blockchain50366.2020.00051},
researchr = {https://researchr.org/publication/DiGiacomo-Castillo20},
cites = {0},
citedby = {0},
pages = {351-358},
booktitle = {2020 IEEE International Conference on Blockchain, Blockchain 2020, Rhodes Island, Greece, November 2-6, 2020},
publisher = {IEEE},
isbn = {978-0-7381-0495-9},
}