Designing and Implementing Malicious Hardware
A survey of rollback-recovery protocols in message-passing systems