Nonsmooth cryptanalysis, with an application to the stream cipher MICKEY

A new approach to the cryptanalysis of symmetric algorithms based on non-smooth optimisation is presented. We develop this technique as a novel way of dealing with nonlinearity over 𝔽2 by modeling the equations corresponding to the algorithm as a continuous optimisation problem that avoids terms of...

Full description

Bibliographic Details
Main Author: Tischhauser Elmar
Format: Article
Language:English
Published: De Gruyter 2011-04-01
Series:Journal of Mathematical Cryptology
Subjects:
Online Access:https://doi.org/10.1515/jmc.2011.001
_version_ 1817992074198253568
author Tischhauser Elmar
author_facet Tischhauser Elmar
author_sort Tischhauser Elmar
collection DOAJ
description A new approach to the cryptanalysis of symmetric algorithms based on non-smooth optimisation is presented. We develop this technique as a novel way of dealing with nonlinearity over 𝔽2 by modeling the equations corresponding to the algorithm as a continuous optimisation problem that avoids terms of higher degree. The resulting problems are not continuously differentiable, but can be approached with techniques from nonsmooth analysis. Applied to the stream cipher MICKEY, which is part of the eSTREAM final portfolio, this method can solve instances corresponding to the full cipher, although with time complexity greater than brute force. Finally, we compare this approach to classical pseudo-Boolean programming.
first_indexed 2024-04-14T01:21:42Z
format Article
id doaj.art-6ab525f653a849adaf03bb9c9806e746
institution Directory Open Access Journal
issn 1862-2976
1862-2984
language English
last_indexed 2024-04-14T01:21:42Z
publishDate 2011-04-01
publisher De Gruyter
record_format Article
series Journal of Mathematical Cryptology
spelling doaj.art-6ab525f653a849adaf03bb9c9806e7462022-12-22T02:20:36ZengDe GruyterJournal of Mathematical Cryptology1862-29761862-29842011-04-014431734810.1515/jmc.2011.001Nonsmooth cryptanalysis, with an application to the stream cipher MICKEYTischhauser Elmar0Katholieke Universiteit Leuven, Dept. ESAT/SCD-COSIC and IBBT, Kasteelpark Arenberg 10, 3001 Heverlee, Belgium.A new approach to the cryptanalysis of symmetric algorithms based on non-smooth optimisation is presented. We develop this technique as a novel way of dealing with nonlinearity over 𝔽2 by modeling the equations corresponding to the algorithm as a continuous optimisation problem that avoids terms of higher degree. The resulting problems are not continuously differentiable, but can be approached with techniques from nonsmooth analysis. Applied to the stream cipher MICKEY, which is part of the eSTREAM final portfolio, this method can solve instances corresponding to the full cipher, although with time complexity greater than brute force. Finally, we compare this approach to classical pseudo-Boolean programming.https://doi.org/10.1515/jmc.2011.001nonsmooth optimisationcryptanalysisstream ciphersmickeypseudo-boolean optimisation
spellingShingle Tischhauser Elmar
Nonsmooth cryptanalysis, with an application to the stream cipher MICKEY
Journal of Mathematical Cryptology
nonsmooth optimisation
cryptanalysis
stream ciphers
mickey
pseudo-boolean optimisation
title Nonsmooth cryptanalysis, with an application to the stream cipher MICKEY
title_full Nonsmooth cryptanalysis, with an application to the stream cipher MICKEY
title_fullStr Nonsmooth cryptanalysis, with an application to the stream cipher MICKEY
title_full_unstemmed Nonsmooth cryptanalysis, with an application to the stream cipher MICKEY
title_short Nonsmooth cryptanalysis, with an application to the stream cipher MICKEY
title_sort nonsmooth cryptanalysis with an application to the stream cipher mickey
topic nonsmooth optimisation
cryptanalysis
stream ciphers
mickey
pseudo-boolean optimisation
url https://doi.org/10.1515/jmc.2011.001
work_keys_str_mv AT tischhauserelmar nonsmoothcryptanalysiswithanapplicationtothestreamciphermickey