Improved Conditional Differential Analysis on NLFSR-Based Block Cipher KATAN32 with MILP

Table 2

The notations used throughout the paper.

Symbol	Definition
	The finite field of two elements
	The -dimensional vector space over
	The state of the 13-bit NLFSR at round
	The state of the 19-bit NLFSR at round
	The -th bit of the 13-bit NLFSR at round
	The -th bit of the 19-bit NLFSR at round
	The difference in
	The difference in
	A 32-bit plaintext block
	The -th bit of the plaintext
	An 80-bit key
	The -th bit of the key