SAT-Based Security Evaluation for WARP against Linear Cryptanalysis

Table 2

Notations.

Symbol	Meaning
	Input mask
	Output mask
	Bitwise NOT of
	Binary concatenation of and
	Binary exclusive OR (XOR) of and
	Bitwise AND of and
	Bitwise OR of and
	The inner product of and