Using carry-truncated addition to analyze add-rotate-xor hash algorithms. - Rebecca E. Field; Brant C. Jones (J. Math. Cryptol., 2013)