Cryptanalysis of the NiVa stream cipher