Abstract:Algebraic fault analysis (AFA), which combines algebraic cryptanalysis with fault attacks, has represented serious threats to the security of lightweight block ciphers. Inspired by an earlier framework for the analysis of side-channel attacks presented at EUROCRYPT 2009, a new generic framework is proposed to analyze and evaluate algebraic fault attacks on lightweight block ciphers. We interpret AFA at three levels: 1) the target; 2) the adversary; and 3) the evaluator. We describe the capability of an adversary in four parts: 1) the fault injector; 2) the fault model describer; 3) the cipher describer; and 4) the machine solver. A formal fault model is provided to cover most of current fault attacks. Different strategies of building optimal equation set are also provided to accelerate the solving process. At the evaluator level, we consider the approximate information metric and the actual security metric. These metrics can be used to guide adversaries, cipher designers, and industrial engineers. To verify the feasibility of the proposed framework, we make a comprehensive study of AFA on an ultra-lightweight block cipher called LBlock. Three scenarios are exploited, which include injecting a fault to encryption, to key scheduling, or modifying the round number or counter. Our best results show that a single fault injection is enough to recover the master key of LBlock within the affordable complexity in each scenario. To verify the generic feature of the proposed framework, we apply AFA to three other block ciphers, i.e., Data Encryption Standard, PRESENT, and Twofish. The results demonstrate that our framework can be used for different ciphers with different structures.

Homological Fault Attack on AES Block Cipher and Its Countermeasures

Low-cost Design of Stealthy Hardware Trojan for Bit-Level Fault Attacks on Block Ciphers

A Secure Scan Method for Crypto Chips

Stealthy Hardware Trojan Based Algebraic Fault Analysis of HIGHT Block Cipher.

Optimal Model Search for Hardware-Trojan-based Bit-Level Fault Attacks on Block Ciphers

A Framework for the Analysis and Evaluation of Algebraic Fault Attacks on Lightweight Block Ciphers

Double Laser-Faults Based PFA on Cryptographic Circuits with Algebraic Analysis

Implementation and Simulation of AES Encryption Algorithm based on FPGA

An Automated Framework for Analysis and Evaluation of Algebraic Fault Attacks on Lightweight Block Ciphers

Persistence Wears down Resistance: Persistent Fault Analysis on Unprotected and Protected Block Cipher Implementations (Extended Abstract)

Fault Rate Analysis: Breaking Masked AES Hardware Implementations Efficiently

Improvements and recent updates of persistent fault analysis on block ciphers

AES software and hardware system co‐design for resisting side channel attacks

Optimized Lightweight Hardware Trojan-Based Fault Attack on DES

Efficient Method for Random Fault Attack Against Aes Hardware Implementation

VLSI Implementation of AES Algorithm Against Differential Power Attack and Differential Fault Attack

Attacking Hardware AES with DFA

Cache-Based Attacks Against AES: Research Progress

A High-Efficient and Accurate Fault Model Aiming at FPGA-based AES Cryptographic Applications

Persistent Fault Injection in FPGA via BRAM Modification

Improving DFA Attacks on AES with Unknown and Random Faults