1. Michael Brickenstein and Alexander Dreyer, PolyBoRi: a framework for Gröbner-basis computations with Boolean polynomials, J. Symbolic Comp. 44 (2009), no. 9, 1326–1345.
  2. Michael Brickenstein, Alexander Dreyer, Gert-Martin Greuel, Markus Wedler, and Oliver Wienand, New developments in the theory of Gröbner bases and applications to formal verification, J. Pure Appl. Algebra 213 (2009), no. 8, 1612–1635.[MR]
  3. Stanislav Bulygin and Michael Brickenstein, Obtaining and solving systems of equations in key variables only for the small variants of AES, IACR (2008), 26 pages.[eprint]
  4. Stanislav Bulygin and Michael Brickenstein, Obtaining and solving systems of equations in key variables only for the small variants of AES, Math. Comput. Sci. 3 (2010), no. 2, 185–200.[doi]