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

DOI10.1007/978-3-030-01950-1_38zbMath1458.94240OpenAlexW2898456905MaRDI QIDQ2218984

Mingsheng Wang, Ya Han, Yongqiang Li

Publication date: 18 January 2021

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

zbMATH Keywords

SPECKSIMONconventional division propertySAT/SMTthree subsets

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (1)

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