New techniques for trail bounds and application to differential trails in Keccak. ToSC. 2017;2017(1):329-357. doi:10.13154/tosc.v2017.i1.329-357