Accelerating the Search of Differential and Linear Characteristics with the SAT Method

Accelerating the Search of Differential and Linear Characteristics with the SAT Method

The introduction of the automatic search boosts the cryptanalysis of symmetric-key primitives to some degree. However, the performance of the automatic search is not always satisfactory for the search of long trails or ciphers with large state sizes. Compared with the extensive attention on the enh...

Full description

Bibliographic Details
Main Authors: Ling Su, Wei Wang, Meiqin Wang
Format: Article
Language:English
Published: Ruhr-Universität Bochum 2021-03-01
Series:IACR Transactions on Symmetric Cryptology
Subjects:
Automatic search
SAT method
Differential cryptanalysis
Linear cryptanalysis
Matsui’s bounding condition
Online Access:https://tosc.iacr.org/index.php/ToSC/article/view/8840

Internet

https://tosc.iacr.org/index.php/ToSC/article/view/8840

Similar Items