Show simple item record

dc.contributor.authorSchilling, Thorsten Ernsteng
dc.contributor.authorRaddum, Håvardeng
dc.date.accessioned2012-11-20T11:14:37Z
dc.date.available2012-11-20T11:14:37Z
dc.date.issued2012eng
dc.PublishedLecture Notes in Computer Science 7280: 291-302eng
dc.identifier.issn978-3-642-30615-0en_US
dc.identifier.urihttps://hdl.handle.net/1956/6195
dc.description.abstractIn 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.isoengeng
dc.publisherSpringer Berlin Heidelbergen_US
dc.subjectMultivariate equation systemeng
dc.subjectBDDeng
dc.subjectAlgebraic cryptanalysiseng
dc.subjectTriviumeng
dc.titleSolving Compressed Right Hand Side Equation Systems with Linear Absorptionen_US
dc.typeChapter
dc.typePeer reviewed
dc.description.versionacceptedVersionen_US
dc.rights.holderCopyright Springer-Verlag Berlin Heidelberg. All rights reserved.en_US
dc.identifier.doihttps://doi.org/10.1007/978-3-642-30615-0_27


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record