Automated methods in cryptographic fault analysis (2019)