Hosoyamada, A.; Iwata, T. Provably Quantum-Secure Tweakable Block Ciphers. ToSC 2021, 2021, 337-377.