Open AccessAlgebraic analysis of SM4 cipher using SageMath
Author(s) -
Ekaterina Maro
Publication year - 2021
Publication title -
iop conference series. materials science and engineering
Language(s) - English
Resource type - Journals
eISSN - 1757-899X
pISSN - 1757-8981
DOI - 10.1088/1757-899x/1047/1/012086
Subject(s) - algebraic analysis , block cipher , boolean satisfiability problem , algebraic number , computer science , cipher , mathematics , arithmetic , algebra over a field , theoretical computer science , algorithm , cryptography , encryption , computer security , pure mathematics , differential algebraic equation , mathematical analysis , ordinary differential equation , differential equation
The article consider possibility of applying the algebraic analysis method to the Chinese national standard (SM4 cipher). Research presents approaches to algebraic analysis of the reliability of symmetric block ciphers by solving Boolean satisfiability (SAT) problem. The principle of formation of the SAT problem for algebraic analysis of SM4 cipher is proposed, as well as the parameters of the obtained SAT problems.