International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Fault Attacks Made Easy: Differential Fault Analysis Automation on Assembly Code

Authors:
Jakub Breier , Physical Analysis and Cryptographic Engineering, Temasek Laboratories
Xiaolu Hou , School of Compter Science and Engineering Nanyang Technological University, Singapore
Yang Liu , School of Compter Science and Engineering Nanyang Technological University, Singapore
Download:
DOI: 10.13154/tches.v2018.i2.96-122
URL: https://tches.iacr.org/index.php/TCHES/article/view/876
Search ePrint
Search Google
Abstract: Over the past decades, fault injection attacks have been extensively studied due to their capability to efficiently break cryptographic implementations. Fault injection attack models are normally determined by analyzing the cipher structure and finding exploitable spots in non-linear and permutation layers. However, this level of abstraction is often too high to distinguish vulnerable parts of software implementations, due to specific operations and optimizations. On the other hand, manually analyzing the assembly code requires non-negligible amount of time and expertise. In this paper, we propose an automated approach for analyzing cipher implementations in assembly. We represent the whole assembly program as a data flow graph so that the vulnerable spots can be found efficiently. Fault propagation is analyzed in a subgraph constructed from each vulnerable spot, allowing equations for Differential Fault Analysis (DFA) to be automatically generated. We have created a tool that implements our approach: DATAC – DFA Automation Tool for Assembly Code. We have successfully used this tool for attacking PRESENT- 80, being able to find implementation-specific vulnerabilities that can be exploited in order to recover the last round key with 16 faults. Our results show that DATAC is useful in finding attack spots that are not visible from the cipher structure, but can be easily exploited when dealing with real-world implementations.
Video from TCHES 2018
Video provided under Creative Commons / CC BY 3.0
BibTeX
@article{tches-2018-28969,
  title={Fault Attacks Made Easy: Differential Fault Analysis Automation on Assembly Code},
  journal={Transactions on Cryptographic Hardware and Embedded Systems},
  publisher={Ruhr-Universität Bochum},
  volume={2018, Issue 2},
  pages={96-122},
  url={https://tches.iacr.org/index.php/TCHES/article/view/876},
  doi={10.13154/tches.v2018.i2.96-122},
  author={Jakub Breier and Xiaolu Hou and Yang Liu},
  year=2018
}