A state bit recovery algorithm with TMDTO attack on Lizard and Grain-128a
scientific article; zbMATH DE number 7494002