Application of Algebraic Cryptanalysis to MAGMA and PRESENT Block Encryption Standards

In this paper we describe the application of algebraic analysis methods to MAGMA and PRESENT symmetric block encryption standards. For solving nonlinear Boolean equation sets we choose reduction to Boolean satisfiability problem with subsequent solving with CryptoMiniSat and extended linearization method application. We offer a security assessment approaches that identifies the resistance of block ciphers to algebraic cryptanalysis. Experiments have shown high efficiency of algebraic cryptanalysis methods for the researched ciphers with reduced number of rounds. Also, we applied algebraic analysis for Magma with three different S-box initializations: one from the standard, substitution with equivalent values, and a weak one.