Numerical solvers and cryptanalysis

Journal of Mathematical Cryptology

Lamberger Mario¹  Nad Tomislav²  Rijmen Vincent³ 

[1] Graz University of Technology, Austria. Email: [e-mail];Graz University of Technology, Austria. Email: [e-mail];Katholieke Universiteit Leuven, Belgium and Graz University of Technology, Austria. Email: [e-mail];

关键词: numerical solver;    numerical analysis;    boolean equations;    trivium;    bivium;    stream ciphers;    cryptanalysis;    optimization;   

DOI  :  10.1515/JMC.2009.015

来源: DOAJ

【 摘 要 】

In this paper, we present an approach to apply numerical methods in the cryptanalysis of modern cryptographic algorithms. We focus on the stream cipher Trivium. It is a stream cipher recommended by the eStream project in the hardware category. We use numerical methods to attack a reduced version of Trivium – called Bivium A. We first set up a system of equations describing the internal state of the cipher and convert it into a system over the reals. Four different techniques for the conversion are discussed. At this point we are able to apply numerical methods. We choose the DIRECT algorithm by D. R. Jones et al. and the Interior Reflective Newton Method by Coleman and Li. Results, occurring problems in this approach and possible future research directions are discussed.

【 授权许可】

Unknown