Numerical solvers and cryptanalysis

DOI10.1515/JMC.2009.015MaRDI QIDQ3400069zbMATH OpenOpenAlexWikidataFDO

Authors Mario Lamberger, Tomislav Nad, Vincent Rijmen

Publication date 5 February 2010

Published in Journal of Mathematical Cryptology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/jmc.2009.015

zbMATH Keywords

optimizationnumerical analysiscryptanalysisstream ciphersnumerical solverBoolean equationstriviumbivium

Mathematics Subject Classification ID

Cryptography (94A60) Algebraic coding theory; cryptography (number-theoretic aspects) (11T71) Nonlinear algebraic or transcendental equations (65H99)

Recommendations

• Bivium as a mixed-integer linear programming problem
• Algebraic attacks on Trivium-like stream ciphers
• Two Trivial Attacks on Trivium
• Attacking Bivium and Trivium with the characteristic set method
• Hill climbing algorithms and Trivium

Cites work

• scientific article; zbMATH DE number 708826 (Why is no real title available?)
• Attacking Bivium Using SAT Solvers
• Chosen IV Statistical Analysis for Key Recovery Attacks on Stream Ciphers
• Cube Attacks on Tweakable Black Box Polynomials
• Lipschitzian optimization without the Lipschitz constant
• On the convergence of interior-reflective Newton methods for nonlinear minimization subject to bounds
• Trivium: A Stream Cipher Construction Inspired by Block Cipher Design Principles

Cited in

(4)

• Analysis of Trivium using compressed right hand side equations
• Bivium as a mixed-integer linear programming problem
• Nonsmooth cryptanalysis, with an application to the stream cipher MICKEY
• Hill climbing algorithms and Trivium

Describes a project that uses

Uses Software

• Trivium
• DIRECT

This page was built for publication: Numerical solvers and cryptanalysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400069)