Chapter 1. Introduction to Fault Analysis in Cryptography.- Part I. Automated Fault Analysis of Symmetric Block Ciphers.- Chapter...