A Bit-Vector Differential Model for the Modular Addition by a Constant
▶A Bit-Vector Differential Model for the Modular Addition by a Constant — a 2020 Asiacrypt 2020 security conference talk on crypto (22:16 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube