dc.contributor.author | Schilling, Thorsten Ernst | eng |
dc.contributor.author | Raddum, Håvard | eng |
dc.date.accessioned | 2012-11-20T11:14:37Z | |
dc.date.available | 2012-11-20T11:14:37Z | |
dc.date.issued | 2012 | eng |
dc.identifier.isbn | 978-3-642-30615-0 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | https://hdl.handle.net/1956/6195 | |
dc.description.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 siftingmethod. 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. | en_US |
dc.language.iso | eng | eng |
dc.publisher | Springer | en_US |
dc.relation.ispartofseries | Lecture Notes in Computer Science; 7280 | |
dc.subject | Multivariate equation system | eng |
dc.subject | BDD | eng |
dc.subject | Algebraic cryptanalysis | eng |
dc.subject | Trivium | eng |
dc.title | Solving Compressed Right Hand Side Equation Systems with Linear Absorption | en_US |
dc.type | Chapter | |
dc.type | Peer reviewed | |
dc.description.version | acceptedVersion | en_US |
dc.rights.holder | Copyright Springer-Verlag Berlin Heidelberg. All rights reserved. | en_US |
dc.identifier.doi | https://doi.org/10.1007/978-3-642-30615-0_27 | |
dc.source.pagenumber | 291-302 | |
dc.identifier.citation | Lecture Notes in Computer Science. 2012, 7280: 291-302 | |