S. Mella, J. Daemen, and G. Van Assche, “New techniques for trail bounds and application to differential trails in Keccak”, ToSC, vol. 2017, no. 1, pp. 329–357, Mar. 2017, doi: 10.13154/tosc.v2017.i1.329-357.