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.
@article{70, title = {Methods to solve algebraic equations in cryptanalysis}, journal = {Tatra Mountains Mathematical Publications}, volume = {45}, year = {2010}, doi = {10.2478/tatra.v45i0.70}, language = {EN}, url = {http://dml.mathdoc.fr/item/70} }
Semaev, Igor; Mikuš, Michal. Methods to solve algebraic equations in cryptanalysis. Tatra Mountains Mathematical Publications, Tome 45 (2010) . doi : 10.2478/tatra.v45i0.70. http://gdmltest.u-ga.fr/item/70/