Nowadays, MILP is a very popular tool to help cryptographers search for various
distinguishers, in particular for integral distinguishers based on the division property …

This work surveys mathematical aspects of division property, which is a state-of-the-art
technique in cryptanalysis of symmetric-key algorithms, such as authenticated encryption …

Abstract PFP 算法和SLIM 算法都是基于Feistel 结构而设计的轻量级分组密码算法,
在软件及硬件上都具有良好的性能, 特别适用于资源受限的环境, 目前没有对两个算法进行积分 …

This paper introduces a method to construct integral distinguishers for ARX ciphers. The
basic idea of this method is to utilize the symmetry between the zero-correlation linear …

This paper delves into the realm of cryptographic analysis by employing mixed-integer linear
programming (MILP), a powerful tool for automated cryptanalysis. Building on this …

Integral cryptanalysis is one of the frequently-used cryptanalytic methods of symmetric-key
primitives. With the help of division property and the adoption of the automatic tool Mixed …

Welch–Gong (WG) is a hardware-oriented LFSR-based stream cipher. WG-7 is a version of
the eStream submission Welch–Gong, used for RFID encryption and authentication …

Мета дослiдження: розробка формалiзованого пiдходу до використання усiчених
диференцiалiв. Об'єкт дослiдження: iнформацiйнi процеси в системах …