Further Readings

See the following references for the mathematical background of the PolyBoRi framework.

• Michael Brickenstein and Alexander Dreyer, Network-driven Boolean Normal Forms, Preprint, 2010.
• Stanislav Bulygin and Michael Brickenstein, Obtaining and Solving Systems of Equations in Key Variables Only for the Small Variants of AES, in Mathematics in Computer Science, Birkhäuser, Basel, pp. 185—200, Volume 3, Issue 2, April 2010, doi: 10.1007/s11786-009-0020-y.
• Michael Brickenstein and Alexander Dreyer, PolyBoRi: A framework for Gröbner basis computations with Boolean polynomials, Journal of Symbolic Computation, Volume 44, Issue 9 (2009), September 2009, pp. 1326—1345, doi: 10.1016/j.jsc.2008.02.017.
• M. Brickenstein, A. Dreyer, G. Greuel, M. Wedler, O. Wienand, New developments in the theory of Gröbner bases and applications to formal verification, Journal Pure and Applied Algebra, Special issue on Theoretical Effectivity and Practical Effectivity of Gröbner Bases, Volume 213, Issue 8, August 2009, pp. 1612—1635, doi: 10.1016/j.jpaa.2008.11.043.
• Michael Brickenstein and Alexander Dreyer, Gröbner-free normal forms for boolean polynomials, ISSAC '08: Proceedings of the twenty-first international symposium on symbolic and algebraic computation, Linz/Hagenberg, Austria, ACM, New York, NY, USA (2008), pp. 55—62, doi: 10.1145/1390768.1390779.
• M. Brickenstein, A. Dreyer, PolyBoRi: A Gröbner Basis Framework for Boolean Polynomials, Reports of Fraunhofer ITWM, No. 122, Kaiserslautern, Germany, 2007.
• M. Brickenstein, A. Dreyer, PolyBoRi: A framework for Gröbner basis computations with Boolean polynomials, Electronic Proceedings of the MEGA 2007 - Effective Methods in Algebraic Geometry, Strobl, Austria, June 2007.
• M. Brickenstein, Slimgb: Gröbner Bases with Slim Polynomials, Reports On Computer Algebra, Centre for Computer Algebra, University of Kaiserslautern, Volume 25, September 2005
• Fabio Somenzi CUDD: CU Decision Diagram Package Release 2.4.1, Department of Electrical and Computer Engineering, University of Colorado at Boulder
• Gregory V. Bard, Accelerating Cryptanalysis with the Method of Four Russians, Preprint July 22, 2006.