by Joel Wanner, Laurent Chuat, and Adrian Perrig
Reference:
A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance. Joel Wanner, Laurent Chuat, and Adrian Perrig. In Proceedings of the International Symposium on Reliable Distributed Systems (SRDS) 2020.
Bibtex Entry:
@inproceedings{Logres2020,
author = {Joel Wanner and Laurent Chuat and Adrian Perrig},
title = {A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance},
booktitle = {Proceedings of the International Symposium on Reliable Distributed Systems (SRDS)},
year = {2020},
month = sep,
url = {/publications/papers/Logres2020.pdf},
}