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 |
| Summary: | 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. |
|---|---|
| ISSN: | 1862-2976 1862-2984 |