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...
Main Author: | |
---|---|
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 |