Research and Implement of Algebraic Collisions Attack on AES Initial Round Key Xor Operation

Until the end of 20th century, with the Side Channel Attack being proposed, a cryptanalysis technique arises at the historic moment. While this technology has gradually improved the algebraic cryptanalysis which had been trapped into bottleneck for a long time. This thesis proposes a method of combining the linear collisions attack and algebraic attack, i.e. convert collisions in AES´ initial round key xor operation into linear equations, and then reduce the key search space by SAT Solver, finally acquire real AES-128-key.