Chapter 1. Introduction to Fault Analysis in Cryptography.- Part I. Automated Fault Analysis of Symmetric Block Ciphers.- Chapter 2. ExpFault: An Automated Framework for Block Cipher Fault Analysis.- Chapter 3. Exploitable Fault Space Characterization: A Complementary Approach.- Chapter 4. Differential Fault Analysis Automation on Assembly Code.- Chapter 5. An Automated Framework for Analysis and Evaluation of Algebraic Fault Attacks on Lightweight Block Ciphers.- Chapter 6. Automatic construction of fault attacks on cryptographic hardware implementations.- Part II. Automated Design and Deployment of Fault Countermeasures.- Chapter 7. Automated Deployment of Software Encoding Countermeasure.- Chapter 8. Idempotent Instructions to Counter Fault Analysis Attacks.- Chapter 9. Differential Fault Attack Resistant Hardware Design Automation.- Part III. Automated Analysis of Fault Countermeasures.- Chapter 10. Automated Evaluation of Software Encoding Schemes.- Chapter 11. Automated Evaluation of Concurrent Error Detection Code Protected Hardware Implementations.- Chapter 12. Fault Analysis Assisted by Simulation.- Part IV. Automated Fault Attack Experiments.- Chapter 13. Optimizing Electromagnetic Fault Injection with Genetic Algorithms.- Chapter 14. Automated Profiling Method for Laser Fault Injection in FPGAs.