Generalized Paxos made Byzantine (and Less Complex)
Miguel Pires, Srivatsan Ravi and Rodrigo Rodrigues