Applying the CryptoSMT software tool to symmetric block encryption algorithms
Qaxramon qizi Qozoqova To'xtajon, Shamsiyeva Barno Maxmudjanovna · 2023
This article used CryptoSMT software for the cryptanalysis of symmetric encryption algorithms, which proved to be the preferred software for performing linear and differential analysis. CryptoSMT is an easy-to-use tool for the cryptanalysis of symmetric primitives like block ciphers or hash functions. It is based on SMT/SAT solvers like STP, Boolector, and CryptoMiniSat and provides a simple framework to use for cryptanalytic techniques [7]. The results of the analysis of the above encryption methods are obtained.