A bit-vector differential model for the modular addition by a constant and its applications to differential and impossible-differential cryptanalysis
{{output}}
ARX algorithms are a class of symmetric-key algorithms constructed by Addition, Rotation, and XOR. To evaluate the resistance of an ARX cipher against differential and impossible-differential cryptanalysis, the recent automated methods employ constraint satisf... ...
