On the Additive Differential Probability of Exclusive-Or

We study the differential probability adp ⊕ of exclusive-or when differences are expressed using addition modulo 2 N . This function is important when analysing symmetric primitives that mix exclusive-or and addition—especially when addition is used to add in the round keys. (Such primitives include idea, Mars, rc6 and Twofish.) We show that adp ⊕ can be viewed as a formal rational series with a linear representation in base 8. This gives a linear-time algorithm for computing adp ⊕ , and enables us to compute several interesting properties like the fraction of impossible differentials, and the maximal differential probability for any given output difference. Finally, we compare our results with the dual results of Lipmaa and Moriai on the differential probability of addition modulo 2 N when differences are expressed using exclusive-or.