Cryptanalysis of the DIZY Stream Cipher With Provable Security | AI Sec Watch