A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance.

Joel Wanner, Laurent Chuat, Adrian Perrig

Browse the full SRDS paper archive.