Abstract:Algebraic Fault Analysis (AFA) is a cryptanalysis for block ciphers proposed by Courtois et al., which incorporates algebraic cryptanalysis to overcome the complexity of manual analysis within the context of Differential Fault Analysis (DFA). The effectiveness of AFA on lightweight block ciphers has been demonstrated. However, the complexity of the algebraic systems prevents it from attacking heavyweight block ciphers efficiently. In this paper, we propose a novel cryptanalysis called Redundancies-assisted Algebraic Fault Analysis (RAFA) to facilitate the solution of algebraic systems in the setting of heavyweight block ciphers. The core idea of RAFA is to expedite SAT solvers by modifying the algebraic systems, which is accomplished via two methods. The first method introduces redundant constraints, which is proposed for the first time in the context of algebraic cryptanalysis. The second one is a sophisticated linearization of the nonlinear Algebraic Normal Form (ANF). It takes RAFA for about 9.68 hours to attack AES-128. To the best of our knowledge, this is the first work that uses a general SAT solver to attack AES with only a single injection of byte-fault. Moreover, RAFA can attack AES-128 in 50.92 and 27.54 minutes for nibble- and bit-based fault model, respectively. In comparison, the traditional DFA algorithm implemented by pure C takes 4 ~ 5 hours under all three fault models investigated in this work. Moreover, in order to show the generality of RAFA, we also apply it to other heavyweight block ciphers. The best results show that RAFA could recover the key of Serpent-256 and SPEEDY-r-192 in 20.7 and 1.5 hours using only three faults, respectively. In comparison, AFA could not break these two ciphers even when 30 bits and 50 bits of their keys are known, respectively. Furthermore, no DFA work on Serpent or SPEEDY is known using comparable fault models.

RAB: A lightweight block cipher algorithm with variable key length

Design of encryption algorithm of data security for Wireless Sensor Network

TCP-Rab:a Receiver Advertisement Based TCP Protocol

GFRX: A New Lightweight Block Cipher for Resource-Constrained IoT Nodes

RAFA: Redundancies-assisted Algebraic Fault Analysis and its implementation on SPN block ciphers.

Security Analysis Of Block Cipher Bear

DRcipher: A pseudo-random dynamic round lightweight block cipher

RAZOR A Lightweight Block Cipher for Security in IoT

Encryption Algorithms Comparisons for Wireless Networked Sensors.

A new method based on swarm intelligence with encrypted data in wireless sensor networks

Secure End-to-End Communications with Lightweight Cryptographic Algorithm

A4: A Lightweight Stream Cipher

Raspberry Pi implemented with MATLAB simulation and communication of physiological signal-based fast chaff point (RPSC) generation algorithm for WBAN systems

An improved random bit-stuffing technique with a modified RSA algorithm for resisting attacks in information security (RBMRSA)

CPRS Algorithm for Streaming Media Encryption and Its Functional Analysis for Wi-Fi Security and Rapidity

LIBC: a low-cost lightweight block cipher for IoT application

A Novel RFID Authentication Protocol Based on A Block-Order-Modulus Variable Matrix Encryption Algorithm

Balancing Security and Efficiency: A Power Consumption Analysis of a Lightweight Block Cipher

Integrated Shared Random Key Agreement Protocol for Wireless Sensor Network

Security Analysis of Secure Force Algorithm for Wireless Sensor Networks

Cryptography Overhead Evaluation and Analysis for Wireless Sensor Networks