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.

Improved Differential Fault Analysis on LED with Constraint Equations: Towards Reaching Its Limit

Improving and Evaluating Differential Fault Analysis on LED with Algebraic Techniques

Analysis of an Optimal Fault Attack on the LED-64 Lightweight Cryptosystem.

Comment on "Impossible Differential Fault Analysis on the LED Lightweight Cryptosystem in the Vehicular Ad-Hoc Networks"

Single Byte Differential Fault Analysis on the LED Lightweight Cipher in the Wireless Sensor Network

Improved Low-Entropy Masking Scheme For Led With Mitigation Against Correlation-Enhanced Collision Attacks

Security Analysis of the LED Lightweight Cipher in the Internet of Things

Impossible Meet-in-the-middle Fault Analysis on the LED Lightweight Cipher in VANETs

Improved algebraic fault analysis: a case study on piccolo and applications to other lightweight block ciphers

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

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

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

Theoretical Round Modification Fault Analysis on AEGIS-128 with Algebraic Techniques

Improved Differential Fault Analysis Of Sosemanuk With Algebraic Techniques

Fault-cube attack on SIMON family of lightweight block ciphers

Cryptanalysis of Round-Reduced \mathttLED.

Improving DFA Attacks on AES with Unknown and Random Faults

Automatic Search of Meet-in-the-Middle Differential Fault Analysis on AES-like Ciphers.

Fault-propagate Pattern Based DFA on PRESENT and PRINTcipher

Fault Detection on the Software Implementation of CLEFIA Lightweight Cipher.

A Comprehensive Study of Algebraic Fault Analysis on PRINCE