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.

Generating Highly Nonlinear Resilient Boolean Functions Resistance Against Algebraic and Fast Algebraic Attacks

An Infinite Class of Balanced Functions with Optimal Algebraic Immunity, Good Immunity to Fast Algebraic Attacks and Good Nonlinearity

Some Results on Fast Algebraic Attacks and Higher-Order Non-Linearities.

Constructions of Cryptographically Significant Boolean Functions Using Primitive Polynomials

Construction Method Of Boolean Functions Based On Genetic Algorithm

New Balanced Boolean Functions with Good Cryptographic Properties.

Balanced2p-variable Rotation Symmetric Boolean Functions with Optimal Algebraic Immunity, Good Nonlinearity, and Good Algebraic Degree

1-Resilient Boolean Functions on Even Variables with Almost Perfect Algebraic Immunity

An Infinite Class of Balanced Vectorial Boolean Functions with Optimum Algebraic Immunity and Good Nonlinearity

Fast Algebraic Immunity of Boolean Functions and LCD Codes

Constructing Rotation Symmetric Boolean Functions with Maximum Algebraic Immunity on an Odd Number of Variables

Constructing Highly Nonlinear Cryptographic Balanced Boolean Functions on Learning Capabilities of Recurrent Neural Networks

Constructing $2m$-variable Boolean functions with optimal algebraic immunity based on polar decomposition of $\mathbb{F}_{2^{2m}}^*$

Construction of Boolean Functions with Excellent Cryptographic Criteria Using Bivariate Polynomial Representation.

On the Construction of Cryptographically Strong Boolean Functions with Desirable Trade-off

A Novel Application of Boolean Functions With High Algebraic Immunity in Minimal Codes

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

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

On Boolean Functions with Low Polynomial Degree and Higher Order Sensitivity

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

Construction and Count of Boolean Functions of an Odd Number of Variables with Maximum Algebraic Immunity