Solving compressed right hand side equation systems with linear absorption

Authors:
Thorsten Ernst Schilling;Håvard Raddum
Affiliations:
Selmer Center, University of Bergen, Norway;Selmer Center, University of Bergen, Norway
Venue:
SETA'12 Proceedings of the 7th international conference on Sequences and Their Applications
Year:
2012

Citing 8
Cited 0

Dynamic variable ordering for ordered binary decision diagrams

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
BDD-Based Cryptanalysis of Keystream Generators

EUROCRYPT '02 Proceedings of the International Conference on the Theory and Applications of Cryptographic Techniques: Advances in Cryptology
Binary Decision Diagrams

IEEE Transactions on Computers
Solving Multiple Right Hand Sides linear equations

Designs, Codes and Cryptography
Extended BDD-based cryptanalysis of keystream generators

SAC'07 Proceedings of the 14th international conference on Selected areas in cryptography
MRHS equation systems

SAC'07 Proceedings of the 14th international conference on Selected areas in cryptography
Solving equation systems by agreeing and learning

WAIFI'10 Proceedings of the Third international conference on Arithmetic of finite fields
Analysis of trivium using compressed right hand side equations

ICISC'11 Proceedings of the 14th international conference on Information Security and Cryptology

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 equations are represented using Binary Decision Diagrams (BDD). The paper introduces a new technique for manipulating a BDD, similar to swapping variables in the well-known sifting-method. Using this technique we develop a new solving method for CRHS equation systems. The new algorithm is successfully tested on systems representing reduced variants of Trivium.