RR: A Fault Model for Efficient TEE Replication

RR: A Fault Model for Efficient TEE Replication