Cryptanalysis of the Lightweight Block Cipher BORON

Algorithm 7

Linear mask propagations through block XOR operation.

r: the number of rounds
input mask:
output mask:
(1)	for to r do
(2)	for to 4 do
(3)
(4)	end for
(5)	end for
(6)
(7)	for to r do
(8)	for to 4 do
(9)
(10)	end for
(11)	end for
(12)
(13)	for to r do
(14)
(15)
(16)
(17)
(18)	end for
(19)
(20)	for to r do
(21)
(22)
(23)
(24)
(25)	end for