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

DOI10.1007/978-3-030-23696-0_14zbMATH Open1454.94066OpenAlexW2947149071MaRDI QIDQ2177635FDOQ2177635

Ahmed Abdelkhalek, A. 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)

Cited In (4)

• MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck
• Rotational differential-linear distinguishers of ARX ciphers with arbitrary output linear masks
• Combining MILP modeling with algebraic bias evaluation for linear mask search: improved fast correlation attacks on SNOW
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2177635)