Grassi, L.; Rechberger, C.; Schofnegger, M. Proving Resistance Against Infinitely Long Subspace Trails: How to Choose the Linear Layer. ToSC 2021, 2021, 314-352.