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

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

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

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)