Provably secure counter mode with related-key-based internal re-keying. - Evgeny K. Alekseev; Kirill S. Goncharenko; Grigory B. Marshalko (J. Comput. Virol. Hacking Tech., 2020)