Automated Methods in Cryptographic Fault Analysis

Breier, Jakub; Hou, Xiaolu; Bhasin, Shivam

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 deployment of countermeasures. The third part provides automated evaluation of countermeasures against fault attacks.  Finally, the fourth part focuses on automating fault attack experiments. The presented methods enable software developers, circuit designers, and cryptographers to test and harden their products. 

Details

Published by: Springer

Publication Date: 2019-03-27

Format: Hardcover

ISBN-13: 9783030113322

DOI: 10.1007/978-3-030-11333-9

Dimensions: 235cm x155cm

Pages: 334