Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
BDD-Based Cryptanalysis of Keystream Generators
EUROCRYPT '02 Proceedings of the International Conference on the Theory and Applications of Cryptographic Techniques: Advances in Cryptology
IEEE Transactions on Computers
Solving Multiple Right Hand Sides linear equations
Designs, Codes and Cryptography
The Art of Computer Programming, Volume 4, Fascicles 0-4
The Art of Computer Programming, Volume 4, Fascicles 0-4
Sparse Algebraic Equations over Finite Fields
SIAM Journal on Computing
Efficient algorithms for solving overdefined systems of multivariate polynomial equations
EUROCRYPT'00 Proceedings of the 19th international conference on Theory and application of cryptographic techniques
Extended BDD-based cryptanalysis of keystream generators
SAC'07 Proceedings of the 14th international conference on Selected areas in cryptography
SAC'07 Proceedings of the 14th international conference on Selected areas in cryptography
Solving compressed right hand side equation systems with linear absorption
SETA'12 Proceedings of the 7th international conference on Sequences and Their Applications
Hi-index | 0.00 |
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.