Vis enkel innførsel

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.identifier.isbn978-3-642-30615-0
dc.identifier.issn0302-9743
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.publisherSpringeren_US
dc.relation.ispartofseriesLecture Notes in Computer Science; 7280
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
dc.source.pagenumber291-302
dc.identifier.citationLecture Notes in Computer Science. 2012, 7280: 291-302


Tilhørende fil(er)

Thumbnail

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel