Exact Formula for RX-Differential Probability through Modular Addition for All Rotations

Supporting code for the paper.

• exactProbability contains main code related to the MILP-based search, including Salsa, Alzette and Speck.
• correctAL16 contains code and logs verifying claims about the [AL16] formula.
• Malzette contains code related to the Malzette permutation.
• impossibleDiff contains code related to the impossible rotational differential search.