Rijndael 512, RSX, and the DCS stream cipher