@misc{13599, keywords = {multivariate equation system, algebraic cryptanalysis, BDD, Trivium}, author = {Thorsten Schilling and H{\r a}vard Raddum}, title = {Analysis of Trivium Using Compressed Right Hand Side Equations}, abstract = {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 very efficient conjunction of a large number of separate equations. We apply our new technique to the stream cipher Trivium and variants of Trivium reduced in size. By merging all equations into one single constraint, manageable in size and processing time, we get a representation of the Trivium cipher as one single equation.}, year = {2011}, journal = {14th International Conference on Information Security and Cryptology - ICISC 2011}, volume = {7259}, pages = {18-32}, month = {12/2011}, publisher = {Lecture Notes in Computer Science, Springer Verlag}, issn = {0302-9743}, isbn = {978-3-642-31911-2}, url = {http://link.springer.com/chapter/10.1007/978-3-642-31912-9_2}, doi = {10.1007/978-3-642-31912-9_2}, }