ARX 구조에서 비트 XOR과 비트 회전의 조합에 대한 가산 차분 확률의 특성을 연구하였다. 특히 회전이 1비트 좌/우 이동인 경우와 한 입력 차분이 고정된 경우의 최대값을 찾고, 불가능 차분에 대한 정규 표현식 패턴을 제공하였다.
