The SMS4 block cipher is part of the Chinese WAPI wireless standard. This paper describes the specification and offers a specification for a toy version called simplified SMS4 (S-SMS4). We explore algebraic attacks on SMS4 and S-SMS4 using Gröbner basis attacks on equation systems over GF(2) and GF(2 8), as well as attacks using a SAT solver derived from the GF(2) model. A comparison of SAT and Gröbner basis attacks is provided. © 2010 Springer-Verlag.
CITATION STYLE
Erickson, J., Ding, J., & Christensen, C. (2010). Algebraic cryptanalysis of SMS4: Gröbner basis attack and SAT attack compared. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5984 LNCS, pp. 73–86). https://doi.org/10.1007/978-3-642-14423-3_6
Mendeley helps you to discover research relevant for your work.