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