Finding Bit-Based Division Property for Ciphers with Complex Linear Layers

The bit-based division property (BDP) is the most effective technique for finding integral characteristics of symmetric ciphers. Recently, automatic search tools have become one of the most popular approaches to evaluating the security of designs against many attacks. Constraint-aided automatic tool...

Full description

Bibliographic Details
Main Authors: Kai Hu, Qingju Wang, Meiqin Wang
Format: Article
Language:English
Published: Ruhr-Universität Bochum 2020-05-01
Series:IACR Transactions on Symmetric Cryptology
Subjects:
Online Access:https://tosc.iacr.org/index.php/ToSC/article/view/8570