“Increasing Precision of Division Property”. IACR Transactions on Symmetric Cryptology, vol. 2020, no. 4, Dec. 2020, pp. 173-94, https://doi.org/10.46586/tosc.v2020.i4.173-194.