Visible to the public Biblio

Filters: Keyword is CryptoMiniSat  [Clear All Filters]
2017-09-15
Babenko, Ludmila, Maro, Ekaterina, Anikeev, Maxim.  2016.  Modeling of Algebraic Analysis of GOST+ Cipher in SageMath. Proceedings of the 9th International Conference on Security of Information and Networks. :100–103.

In this paper we present results of algebraic analysis of GOST⌖ algorithm in SageMath environment. Using the GOST⌖ as the example we explore basic stages of algebraic analysis of any symmetric block cipher based on Feistel network. We construct sets of boolean equations for five encryption rounds and determine the number of known text pairs for which the key can be found with the probability of 1. The algebraic analysis of five rounds of GOST⌖ allowed to find a 160-bit encryption key with the probability of 1 for five known text pairs within 797.21 s; the search for the solution took 24.66 s.