R. Nakamichi and T. Iwata, “Beyond-Birthday-Bound Secure Cryptographic Permutations from Ideal Ciphers with Long Keys”, ToSC, vol. 2020, no. 2, pp. 68–92, Jul. 2020.