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