Research Article

SAT-Based Security Evaluation for WARP against Linear Cryptanalysis

Table 5

Linear approximation table (LAT) of WARP Sbox.

0x00x10x20x30x40x50x60x70x80x90xa0xb0xc0xd0xe0xf

0x08000000000000000
0x10242−2020−20204−20−2
0x204004000−40000400
0x30202−20242−4−200202
0x40−24−220−20−2−4−200−202
0x50000000000−4−4004−4
0x60202−202−4−20−20−4−202
0x7000400−40000−400−40
0x80−2−42−20−20−4−2022020
0x9000−4−4000−22−2−222−22
0xa020−2−2−4−200−24−2−2020
0xb00000−40−42−2−2222−2−2
0xc040000−4022−222−222
0xd0−242−20−200202−2420
0xe0000040−42−22−22222
0xf0−2022−420020−22024

Each entry represents .