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. Inf. Sec. Techn. Report, 94:104203, 2025. [doi]

Abstract

Abstract is missing.