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. © 2012 Springer-Verlag.
CITATION STYLE
Schilling, T. E., & Raddum, H. (2012). Analysis of Trivium using compressed right hand side equations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7259 LNCS, pp. 18–32). https://doi.org/10.1007/978-3-642-31912-9_2
Mendeley helps you to discover research relevant for your work.