We study a new representation of non-linear multivariate
equations for algebraic cryptanalysis. Using a combination of multiple
right hand side equations and binary decision diagrams, our new representation
allows a ...

In this paper we describe an approach for solving complex
multivariate equation systems related to algebraic cryptanalysis. The
work uses the newly introduced Compressed Right Hand Sides (CRHS)
representation, where ...