Algebraic Cryptanalysis of SMS4: Gröbner Basis Attack and SAT Attack Compared

Jeremy Erickson The University of North Carolina at Chapel Hill, Chapel Hill, NC 27514 Jintai Ding The University of Cincinnati, Cincinnati, OH 45221; South China University of Technology, Guangzhou, China Chris Christensen Northern Kentucky University, Highland Heights, KY 41099

TBD mathscidoc:2207.43042

ICISC 2009, 73–86, 2009.12
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.
No keywords uploaded!
[ Download ] [ 2022-07-14 10:41:08 uploaded by dingjt ] [ 182 downloads ] [ 0 comments ]
@inproceedings{jeremy2009algebraic,
  title={Algebraic Cryptanalysis of SMS4: Gröbner Basis Attack and SAT Attack Compared},
  author={Jeremy Erickson, Jintai Ding, and Chris Christensen},
  url={http://archive.ymsc.tsinghua.edu.cn/pacm_paperurl/20220714104108705231619},
  booktitle={ICISC 2009},
  pages={73–86},
  year={2009},
}
Jeremy Erickson, Jintai Ding, and Chris Christensen. Algebraic Cryptanalysis of SMS4: Gröbner Basis Attack and SAT Attack Compared. 2009. In ICISC 2009. pp.73–86. http://archive.ymsc.tsinghua.edu.cn/pacm_paperurl/20220714104108705231619.
Please log in for comment!
 
 
Contact us: office-iccm@tsinghua.edu.cn | Copyright Reserved