1. Cold boot key recovery by solving polynomial systems with noise;Albrecht,2011
2. On the theory of triangular sets;Aubry;J. Symb. Comput.,1999
3. Efficient Methods for Conversion and Solution of Sparse Systems of Low-Degree Multivariate Polynomials over GF (2) via SAT-solvers;Bard,2007
4. Complexity of Gröbner Basis Computation for Semi-Regular Overdetermined Sequences over F2 with Solutions in F2;Bardet,2003
5. On the complexity of Gröbner basis computation of semi-regular overdetermined algebraic equations;Bardet,2004