Imprimitive permutations groups generated by the round functions of key-alternating block ciphers and truncated differential cryptanalysis