Automated methods in cryptographic fault analysis (Springer, 2019)