3

I'm studying a block cipher based on ARX(Addition, Rotation, XOR).

In a block cipher, nonlinearity comes from S-box or modular addition($Z=X\boxplus Y$ mod $2^n$).

As far as I know, in the case of S-Box, its security can be explained in the algebraic aspect.

How to explain the modular addition($\boxplus$ mod $2^n$) in the algebraic aspect?

Raoul722
  • 2,836
  • 2
  • 20
  • 39
Tylor Yoo
  • 33
  • 4

1 Answers1

1

So you have addition with carry bitwise if the sum is smaller than $2^n-1$ as well as the subtraction of $2^n$ if the sum is greater than $2^n-1.$

Helger Lipmaa has analysis that is relevant in "Efficient Algorithms for Computing Differential Properties of Addition" available at

http://kodu.ut.ee/~lipmaa/papers/lm01/

You can use that work as a starting point.

kodlu
  • 22,423
  • 2
  • 27
  • 57
  • kodlu, thank you for your answer. The paper you told me was about statisitical analysis method, but it became good starting point to search the answer. In this weekend, I found a paper for the aspect of modular addtion, and you can also check it at http://www.nicolascourtois.com/papers/usnow.pdf Thank you again kodlu! – Tylor Yoo Sep 05 '16 at 07:01