CheapBFT: resource-efficient byzantine fault tolerance
Attested append-only memory: making adversaries stick to their word