Algebraic cryptanalysis of SMS4: gröbner basis attack and SAT attack compared

Authors:
Jeremy Erickson;Jintai Ding;Chris Christensen
Affiliations:
The University of North Carolina at Chapel Hill, Chapel Hill, NC;The University of Cincinnati, Cincinnati, OH and South China University of Technology, Guangzhou, China;Northern Kentucky University, Highland Heights, KY
Venue:
ICISC'09 Proceedings of the 12th international conference on Information security and cryptology
Year:
2009

Citing 8
Cited 1

The MAGMA algebra system I: the user language

Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
Cryptanalysis of Block Ciphers with Overdefined Systems of Equations

ASIACRYPT '02 Proceedings of the 8th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology
Algebraic Attack to SMS4 and the Comparison with AES

IAS '09 Proceedings of the 2009 Fifth International Conference on Information Assurance and Security - Volume 01
Analysis of the SMS4 block cipher

ACISP'07 Proceedings of the 12th Australasian conference on Information security and privacy
New description of SMS4 by an embedding over GF(28)

INDOCRYPT'07 Proceedings of the cryptology 8th international conference on Progress in cryptology
Algebraic cryptanalysis of the data encryption standard

Cryptography and Coding'07 Proceedings of the 11th IMA international conference on Cryptography and coding
Attacking reduced-round versions of the SMS4 block cipher in the Chinese WAPI standard

ICICS'07 Proceedings of the 9th international conference on Information and communications security
An analysis of the XSL algorithm

ASIACRYPT'05 Proceedings of the 11th international conference on Theory and Application of Cryptology and Information Security

Differential Fault Analysis on SMS4 using a single fault

Information Processing Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract

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(28), 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.