Automated Methods in Cryptographic Fault Analysis
Automated Methods in Cryptographic Fault Analysis
复制标题
密码故障分析的自动化方法
DOI：
10.1007/978-3-030-11333-9
复制
发表时间：
2019
影响因子：
9.5
通讯作者：
Thiago Santos Souza
中科院分区：
文献类型：
--
作者：
Carlos Michell Tôrres Santos;Glessiane de Oliveira Almeida;Thiago Santos Souza
本书提供了一系列自动化方法，这些方法对于密码学中故障分析的不同方面有用。第一部分着重于对称密码设计规范，软件实现和硬件电路的自动分析。第二部分提供对策的自动部署。第三部分提供了针对故障攻击的对策的自动评估。最后，第四部分的重点是自动化故障攻击实验。提出的方法使软件开发人员，电路设计师和密码学家能够测试和硬化其产品。
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.