Turret: A Platform for Automated Attack Finding in Unmodified Distributed System Implementations
Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults