Schrottenloher, A.; Stevens, M. Simplified Modeling of MITM Attacks for Block Ciphers: New (Quantum) Attacks. ToSC 2023, 2023, 146-183.