SiRiUS: Securing Remote Untrusted Storage
A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm