On MILP-based automatic search for differential trails through modular additions with application to Bel-T

DOI10.1007/978-3-030-23696-0_14zbMath1454.94066OpenAlexW2947149071MaRDI QIDQ2177635

Ahmed Abdelkhalek, Amr M. Youssef, Muhammad ElSheikh

Publication date: 6 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23696-0_14

zbMATH Keywords

differential cryptanalysisMILPARXBel-Tmodular addition

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (2)

Rotational differential-linear distinguishers of ARX ciphers with arbitrary output linear masks ⋮ Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK

This page was built for publication: On MILP-based automatic search for differential trails through modular additions with application to Bel-T