Automatical method for searching integrals of ARX block cipher with division property using three subsets

DOI10.1007/978-3-030-01950-1_38MaRDI QIDQ2218984zbMATH OpenOpenAlexFDO

Authors Ya Han, Yongqiang Li, Mingsheng Wang

Publication date 18 January 2021

Full work available at URL https://doi.org/10.1007/978-3-030-01950-1_38

zbMATH Keywords

conventional division propertySAT/SMTSIMONSPECKthree subsets

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Automatic search of bit-based division property for ARX ciphers and word-based division property
• Finding three-subset division property for ciphers with complex linear layers
• Automatic tool for searching for differential characteristics in ARX ciphers and applications
• On MILP-Based Automatic Search for Bit-Based Division Property for Ciphers with (Large) Linear Layers
• Automatic Search for Differential Trails in ARX Ciphers
• Automatic differential analysis of ARX block ciphers with application to SPECK and LEA
• Automatic search for a variant of division property using three subsets
• Automated verification of block cipher modes of operation, an improved method
• Automatic search of truncated impossible differentials for word-oriented block ciphers

Cited in

(4)

• Automatic search for a variant of division property using three subsets
• Automatic search of bit-based division property for ARX ciphers and word-based division property
• Bitwise partial-sum on HIGHT: a new tool for integral analysis against ARX designs
• Mathematical aspects of division property

This page was built for publication: Automatical method for searching integrals of ARX block cipher with division property using three subsets

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