A. Hosoyamada and T. Iwata, “Provably Quantum-Secure Tweakable Block Ciphers”, ToSC, vol. 2021, no. 1, pp. 337–377, Mar. 2021.