SAT-Based Security Evaluation for WARP against Linear Cryptanalysis

Figure 1

Round function of WARP.