Kazuma Taka, Kosei Sakamoto, Ryoma Ito 0001, Rentaro Shiba, Shion Utsumi, Takanori Isobe 0001. Divide-and-Conquer SAT for Exploring Optimal Differential and Linear Characteristics and Its Applications. IACR Trans. Symmetric Cryptol., 2025(3):516-576, 2025. [doi]
Abstract is missing.