IET Information Security

Research Article

SAT-Based Security Evaluation for WARP against Linear Cryptanalysis

Table 3

4-bit Sbox.
0x00x10x20x30x40x50x60x70x80x90xa0xb0xc0xd0xe0xf
0xc0xa0xd0x30xe0xb0xf0x70x80x90x10x50x00x20x40x6