Parallel SAT Framework to Find Clustering of Differential Characteristics and Its Applications

Kosei Sakamoto, Ryoma Ito 0001, Takanori Isobe 0001. Parallel SAT Framework to Find Clustering of Differential Characteristics and Its Applications. IACR Cryptology ePrint Archive, 2023:1227, 2023. [doi]

Abstract

Abstract is missing.