Unveiling the Neutral Difference and Its Automated Search

Table 3

Notations.

Symbol	Description
	The th bit of , written as for simplicity. (resp. ) is the most (resp. least) significant bit of
	Rotation of by -bit to the left, written as for simplicity
	Rotation of by -bit to the right, written as for simplicity
	The inner product of two vectors
or	The size of a set
	Probability that equals 0
	The correlation of , i.e.,
	Concatenation operation. is the most significant bit of the new binary vector