Automated Methods in Cryptographic Fault Analysis - Breier, Jakub; Hou, Xiaolu; Bhasin, Shivam (Springer International Publishing, 2019)