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

Jeremy Erickson Jintai Ding Chris Christensen Algebraic Cryptanalysis of SMS4: Gröbner Basis Attack and SAT Attack Compared. 73-86 2009 ICISC http://dx.doi.org/10.1007/978-3-642-14423-3_6 conf/icisc/2009 db/conf/icisc/icisc2009.html#EricksonDC09