Abstract:Symmetric key cryptography stands as a fundamental cornerstone in ensuring security within contemporary electronic communication frameworks. The cryptanalysis of classical symmetric key ciphers involves traditional methods and techniques aimed at breaking or analyzing these cryptographic systems. In the evaluation of new ciphers, the resistance against linear and differential cryptanalysis is commonly a key design criterion. The wide trail design technique for block ciphers facilitates the demonstration of security against linear and differential cryptanalysis. Assessing the scheme's security against differential attacks often involves determining the minimum number of active SBoxes for all rounds of a cipher. The propagation characteristics of a cryptographic component, such as an SBox, can be expressed using Boolean functions. Mixed Integer Linear Programming (MILP) proves to be a valuable technique for solving Boolean functions. We formulate a set of inequalities to model a Boolean function, which is subsequently solved by an MILP solver. To efficiently model a Boolean function and select a minimal set of inequalities, two key challenges must be addressed. We propose algorithms to address the second challenge, aiming to find more optimized linear and non-linear components. Our approaches are applied to modeling SBoxes (up to six bits) and EXOR operations with any number of inputs. Additionally, we introduce an MILP-based automatic tool for exploring differential and impossible differential propagations within a cipher. The tool is successfully applied to five lightweight block ciphers: Lilliput, GIFT64, SKINNY64, Klein, and MIBS.

MILP Based Differential Attack on Round Reduced WARP

Constructing the Impossible Differential of Type-II GFN with Boolean Function and Its Application to WARP

MILP-Based Differential Attack on Round-Reduced GIFT

Impossible Differential Attack On Reduced-Round Twine

MILP-based differential cryptanalysis on full-round shadow

MILP-Aided Related-Tweak/Key Impossible Differential Attack and Its Applications to QARMA, Joltik-BC

MILP-based Related-Key Rectangle Attack and Its Application to GIFT, Khudra, MIBS

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

Cryptanalysis Of Midori128 Using Impossible Differential Techniques

Improved Impossible Differential Attack on Reduced-Round LBlock.

Modeling Linear and Non-linear Layers: An MILP Approach Towards Finding Differential and Impossible Differential Propagations

Practical attack on the full MMB block cipher

Cryptanalysis of Reduced-Round MIBS Block Cipher

New Differential Cryptanalytic Results for Reduced-Round CAST-128.

Impossible Differential Attack on Simpira V2.

A Unified and Fully Automated Framework for Wavelet-based Attacks on Random Delay

Differential-algebraic Cryptanalysis of Reduced-Round of Serpent-256

Improved Impossible Differential Attacks on Reduced-Round MISTY1.

Cryptanalysis of Reduced-Round Midori64 Block Cipher.

A practical forgery and state recovery attack on the authenticated cipher PANDA-s.

A Wavelet-based Power Analysis Attack Against Random Delay Countermeasure.