Automated methods in cryptographic fault analysis - Breier, Jakub (Automated methods in cryptographic fault analysis, 2019)