Automated Methods in Cryptographic Fault Analysis - Breier (Springer International Publishing, 2019)