Browsing Faculty of Mathematics and Natural Sciences by Author "Raddum, Håvard"
Now showing items 13 of 3

Analysis of Trivium Using Compressed Right Hand Side Equations
Schilling, Thorsten Ernst; Raddum, Håvard (Springer Berlin Heidelberg, 2012)We study a new representation of nonlinear multivariate equations for algebraic cryptanalysis. Using a combination of multiple right hand side equations and binary decision diagrams, our new representation allows a ...Peer reviewedChapter 
Solving Compressed Right Hand Side Equation Systems with Linear Absorption
Schilling, Thorsten Ernst; Raddum, Håvard (Springer Berlin Heidelberg, 2012)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 ...Peer reviewedChapter 
Solving Equation Systems by Agreeing and Learning
Schilling, Thorsten Ernst; Raddum, Håvard (Springer Berlin Heidelberg, 2010)We study sparse nonlinear equation systems defined over a finite field. Representing the equations as symbols and using the Agreeing algorithm we show how to learn and store new knowledge about the system when a ...Peer reviewedChapter