Abstract:HIGHT is built by using ARX(addition modulo 2n,bit rotation and XOR)structure,which is suitable for resource-constrained environment such as Radio Frequency Identification(RFID)tag or ubiquitous computing system and it has been adopted as a standard block cipher by Telecommunications Technology Association(TTA)of Korea and ISO/IEC 18033-3.Since the accurate location of the injected fault cannot be successfully determined when fault failures are occurred,the success rate of the existing algebraic fault attack on HIGHT is always less than 100%.To improve the success rate and efficiency,a fault tolerant algebraic fault attack is proposed in this paper.Firstly,fault failures and its properties are studied and a complete distinguisher based on fault failures,fault locations and cipher differences for determining the accurate fault locations in all different scenarios is built.Then,HIGHT is described as a set of algebraic equations.The faulty ciphertext is generated via fault injections and fault differences are represented with algebraic equations.To make maximum use of the injected faults,fault failures are also described as a set of algebraic equations.In the meantime,the procedure of constructing algebraic equations for the inj ected faults is optimized to perform automatically to further make the attack easy to launch.Finally,the CryptoMiniSAT solver is applied to solve the equations for the key and the number of fault injections that required and success rate of the proposed attack are analyzed in theory.The simulation experiments show that compared with the existing algebraic fault attack on HIGHT,the success rate of the proposed attack has been improved to 100% and the method of con-structing algebraic equations for the injected faults is easier and can be performed automatically,the entire mater key bytes can be fully recovered in a rather smaller time by solving the algebraic equations with the CryptoMiniSAT solver,and the proposed attack can be easily extended to other cipher which has the similar structure.

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

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

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

Improving and Evaluating Differential Fault Analysis on LED with Algebraic Techniques

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

Improved Differential Fault Analysis Of Sosemanuk With Algebraic Techniques

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

Fiddling the Twiddle Constants - Fault Injection Analysis of the Number Theoretic Transform.

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

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

Research on fault-tolerant algebraic fault attack on HIGHT

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

Optimized Lightweight Hardware Trojan-Based Fault Attack on DES

Improving DFA Attacks on AES with Unknown and Random Faults

Exploration of Benes Network in Cryptographic Processors: A Random Infection Countermeasure for Block Ciphers Against Fault Attacks

Improvement and Evaluation for Algebraic Fault Attacks on PRESENT

Improved Fault Analysis on Subterranean 2.0

Statistical Fault Analysis of the Simeck Lightweight Cipher in the Ubiquitous Sensor Networks

Differential Fault and Algebraic Equation Combined Analysis on PICO

Differential fault attack on SPN-based sponge and SIV-like AE schemes

Impossible Differential Cryptanalysis of CLEFIA-128/192/256