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

DOI10.1007/978-3-030-23696-0_14MaRDI QIDQ2177635zbMATH OpenOpenAlexFDO

Authors Muhammad ElSheikh, Ahmed Abdelkhalek, A. M. Youssef

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)

Recommendations

• MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck
• Improved cryptanalysis of an ISO standard lightweight block cipher with refined MILP modelling
• Speeding up MILP Aided Differential Characteristic Search with Matsui’s Strategy
• Automatic Search for Related-Key Differential Trails in SIMON-like Block Ciphers Based on MILP
• Integral attacks on round-reduced Bel-T-256

Cited in

(5)

• MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck
• Rotational differential-linear distinguishers of ARX ciphers with arbitrary output linear masks
• Integral attacks on round-reduced Bel-T-256
• Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK
• Combining MILP modeling with algebraic bias evaluation for linear mask search: improved fast correlation attacks on SNOW

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)