The rotational differential-linear attacks, proposed at EUROCRYPT 2021, is a generalization
of differential-linear attacks by replacing the differential part of the attacks with rotational …

Searching for the right pairs of inputs in difference-based distinguishers is an important task
for the experimental verification of the distinguishers in symmetric-key ciphers. In this paper …

Compared to a charging scheduling and management problem characterized by
predetermined trip assignment, this study takes bus and driver scheduling into account, and …

CRAFT is an substitution‐permutation network tweakable block cipher proposed at fast
software encryption 2019 by Beierle et al., which is designed to optimize the efficient …

Abstract The Mixed Integer Linear Programming (MILP) technique has been widely applied
in the realm of symmetric-key cryptanalysis. In this paper, we propose a new bitwise …

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 …

Search for the right pairs of inputs in difference-based distinguishers is an important task for
the experimental verification of the distinguishers in symmetric-key ciphers. In this paper, we …

In this paper, we propose a GPU-accelerated branch-and-bound algorithm. The proposed
approach substantially increases the performance of the differential cluster search. We were …

ARX-based ciphers, constructed by the modular addition, rotation and XOR operations, have
been receiving a lot of attention in the design of lightweight symmetric ciphers. For their …

В статье рассматривается моделирование с помощью задачи целочисленного
линейного программирования разностного (по операции⊕) перехода сквозь сложение …