A Bit-Vector Differential Model for the Modular Addition by a Constant

von Azimi, Seyyed Arash
Veröffentlicht in ASIACRYPT (26. : 2020 : Online) Advances in cryptology - ASIACRYPT 2020 ; Part 1 (2020)