Algebraic cryptanalysis