1. Armknecht, F.: Improving fast algebraic attacks. Lect. Notes Comput. Sci. 3017, 65–82 (2004)
2. Bard, G.V.: Algorithms for solving linear and polynomial systems of equations over finite fields, with applications to cryptanalysis (2007)
3. Bard, G.V., Courtois, N., Jefferson, C.: Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomials over gf(2) via sat-solvers. System 2007, (2007)
4. Bardet, M., Faugre, J.C., Salvy, B., Spaenlehauer, P.J.: On the complexity of solving quadratic boolean systems. J. Complex. (2013)
5. Courtois, N., Bard, G.V.: Algebraic cryptanalysis of the data encryption standard. In: Proceedings of 11th IMA International Conference Cryptography and Coding, Cirencester, UK (2006)