Methods to solve algebraic equations in cryptanalysis
Igor Semaev, Michal Mikuš · Tatra Mountains Mathematical Publications · 2010
ABSTRACT The goal of the present paper is a survey of methods to solve equation systems common in cryptanalysis. The methods depend on the equation representation and fall into three categories: Gröbner basis algorithms, SAT-solving methods and Agreeing-Gluing algorithms.