Byzantine fault-tolerant state machine replication with twin virtual machines
Attested append-only memory: making adversaries stick to their word