Differential equations of addition

Examples of Differential Equations of Addition

Differential equations of addition (DEA) are of the following form:

( x + y ) ⊕ ( ( x ⊕ a ) + ( y ⊕ b ) ) = c

where x and y are n -bit unknown variables and a , b and c are known variables. The symbols + and ⊕ denote addition modulo 2 n and bitwise exclusive-or respectively. The above equation is denoted by ( a , b , c ) .

Let a set S = { ( a i , b i , c i ) | i is an integer less than k } denote a system of k DEA where k is a polynomial in n . It has been proved that the satisfiability of an arbitrary set of DEA is in the complexity class P when a brute force search requires an exponential time. In 2013, some properties of a special form of

DEA were reported by Chengqing Li et al., where a = 0 and y is assumed known. Essentially, the special DEA can be represented as ( x ∔ α ) ⊕ ( x ∔ β ) = c . Based on the found properties, a algorithm for deriving x was proposed and analyzed.

Usage of Differential Equations of Addition

Solution to an arbitrary set of DEA (either in batch and or in adaptive query model) was due to Souradyuti Paul and Bart Preneel. The solution techniques have been used to attack the stream cipher Helix.