Geodesic
Algebraic cryptanalysis of 9 rounds of lightweight block cipher Simon32/64
Prikladnaya Diskretnaya Matematika. Supplement, no. 16 (2023), pp. 65-70

Voir la notice de l'article provenant de la source Math-Net.Ru

A lightweight block cipher Simon32/64 from the Simon family is considered. Its full version consists of 32 rounds. Cryptanalysis of the first 8 rounds has already been repeatedly performed via SAT, i.e., by reducing to the Boolean satisfiability problem and applying SAT solvers. However, for 9 rounds this is still a challenging problem for the SAT approach. In the paper, a SAT encoding for cryptanalysis of the first 9 rounds of Simon32/64 is constructed. Three classes of cryptanalysis problems are formed depending on how the plain text is chosen. Provided that 16 out of 64 bits of each secret key are known, all the problems were solved via a parallel SAT solver.
Keywords: lightweight block cipher, Simon family of ciphers, SAT-solver.
Mots-clés : algebraic cryptanalysis 
@article{PDMA_2023_16_a16,
     author = {E. A. Maro and O. S. Zaikin},
     title = {Algebraic cryptanalysis of 9 rounds of lightweight block cipher {Simon32/64}},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {65--70},
     publisher = {mathdoc},
     number = {16},
     year = {2023},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2023_16_a16/}
}
TY  - JOUR
AU  - E. A. Maro
AU  - O. S. Zaikin
TI  - Algebraic cryptanalysis of 9 rounds of lightweight block cipher Simon32/64
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2023
SP  - 65
EP  - 70
IS  - 16
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2023_16_a16/
LA  - ru
ID  - PDMA_2023_16_a16
ER  - 
%0 Journal Article
%A E. A. Maro
%A O. S. Zaikin
%T Algebraic cryptanalysis of 9 rounds of lightweight block cipher Simon32/64
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2023
%P 65-70
%N 16
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2023_16_a16/
%G ru
%F PDMA_2023_16_a16
E. A. Maro; O. S. Zaikin. Algebraic cryptanalysis of 9 rounds of lightweight block cipher Simon32/64. Prikladnaya Diskretnaya Matematika. Supplement, no. 16 (2023), pp. 65-70. http://geodesic.mathdoc.fr/item/PDMA_2023_16_a16/