Automated Methods in Cryptographic Fault Analysis

• Corporate Author: SpringerLink (Online service)
• Other Authors: Breier, Jakub (Editor, http://id.loc.gov/vocabulary/relators/edt), Hou, Xiaolu (Editor, http://id.loc.gov/vocabulary/relators/edt), Bhasin, Shivam (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Subjects: Electronic circuits.; Microprocessors.; Electronics.; Microelectronics.; Circuits and Systems.; Processor Architectures.; Electronics and Microelectronics, Instrumentation.

This book presents a collection of automated methods that are useful for different aspects of fault analysis in cryptography. The first part focuses on automated analysis of symmetric cipher design specifications, software implementations, and hardware circuits. The second part provides automated de...