Improving the Robustness of Redundant Execution with Register File Randomization | Publicación