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

Jeremy Erickson; Jintai Ding; Chris Christensen

doi:10.1007/978-3-642-14423-3_6

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

Jeremy Erickson^*, Jintai Ding, Chris Christensen

^*Corresponding author for this work

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

16 Citations (Scopus)

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

Original language	English
Title of host publication	Information Security and Cryptology - ICISC 2009 - 12th International Conference, Revised Selected Papers
Pages	73-86
Number of pages	14
DOIs	https://doi.org/10.1007/978-3-642-14423-3_6
Publication status	Published - 2010
Externally published	Yes
Event	12th International Conference on Information Security and Cryptology, ICISC 2009 - Seoul, Korea, Republic of Duration: 2 Dec 2009 → 4 Dec 2009

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5984 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	12th International Conference on Information Security and Cryptology, ICISC 2009
Country/Territory	Korea, Republic of
City	Seoul
Period	2/12/09 → 4/12/09

Access to Document

10.1007/978-3-642-14423-3_6

Cite this

Erickson, J., Ding, J., & Christensen, C. (2010). Algebraic cryptanalysis of SMS4: Gröbner basis attack and SAT attack compared. In Information Security and Cryptology - ICISC 2009 - 12th International Conference, Revised Selected Papers (pp. 73-86). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5984 LNCS). https://doi.org/10.1007/978-3-642-14423-3_6

Erickson, Jeremy ; Ding, Jintai ; Christensen, Chris. / Algebraic cryptanalysis of SMS4 : Gröbner basis attack and SAT attack compared. Information Security and Cryptology - ICISC 2009 - 12th International Conference, Revised Selected Papers. 2010. pp. 73-86 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{666198860e344fe6a46d69169b0deca6,

title = "Algebraic cryptanalysis of SMS4: Gr{\"o}bner basis attack and SAT attack compared",

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{\"o}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{\"o}bner basis attacks is provided.",

author = "Jeremy Erickson and Jintai Ding and Chris Christensen",

year = "2010",

doi = "10.1007/978-3-642-14423-3_6",

language = "English",

isbn = "3642144225",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "73--86",

booktitle = "Information Security and Cryptology - ICISC 2009 - 12th International Conference, Revised Selected Papers",

note = "12th International Conference on Information Security and Cryptology, ICISC 2009 ; Conference date: 02-12-2009 Through 04-12-2009",

}

Erickson, J, Ding, J & Christensen, C 2010, Algebraic cryptanalysis of SMS4: Gröbner basis attack and SAT attack compared. in Information Security and Cryptology - ICISC 2009 - 12th International Conference, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5984 LNCS, pp. 73-86, 12th International Conference on Information Security and Cryptology, ICISC 2009, Seoul, Korea, Republic of, 2/12/09. https://doi.org/10.1007/978-3-642-14423-3_6

Algebraic cryptanalysis of SMS4: Gröbner basis attack and SAT attack compared. / Erickson, Jeremy; Ding, Jintai; Christensen, Chris.
Information Security and Cryptology - ICISC 2009 - 12th International Conference, Revised Selected Papers. 2010. p. 73-86 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5984 LNCS).

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

TY - GEN

T1 - Algebraic cryptanalysis of SMS4

T2 - 12th International Conference on Information Security and Cryptology, ICISC 2009

AU - Erickson, Jeremy

AU - Ding, Jintai

AU - Christensen, Chris

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77954596505&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-14423-3_6

DO - 10.1007/978-3-642-14423-3_6

M3 - Conference Proceeding

AN - SCOPUS:77954596505

SN - 3642144225

SN - 9783642144226

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 73

EP - 86

BT - Information Security and Cryptology - ICISC 2009 - 12th International Conference, Revised Selected Papers

Y2 - 2 December 2009 through 4 December 2009

ER -

Erickson J, Ding J, Christensen C. Algebraic cryptanalysis of SMS4: Gröbner basis attack and SAT attack compared. In Information Security and Cryptology - ICISC 2009 - 12th International Conference, Revised Selected Papers. 2010. p. 73-86. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-14423-3_6

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

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this