Accelerating the Search of Differential and Linear Characteristics with the SAT Method.
IACR Transactions on Symmetric Cryptology（2021）
Key words
Automatic search,SAT method,Differential cryptanalysis,Linear cryptanalysis,Matsui’s bounding condition
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined