CLAASPing ARADI: automated analysis of the ARADI block cipher

DOI10.1007/978-3-031-80311-6_5MaRDI QIDQ6955327zbMATH OpenFDO

Authors Emanuele Bellini, Mattia Formenti, David Gérault, Juan Grados, Anna Hambitzer, Ju Huang Yun, Paul Huynh, Mohamed Rachidi, Raghvendra Singh Rohit, Sharwan K. Tiwari

Publication date 23 July 2025

Full work available at URL https://doi.org/10.1007/978-3-031-80311-6_5

zbMATH Keywords

ARADICLAASPdifferential cryptanalysislinear cryptanalysisneural distinguishersstatistical tests

Mathematics Subject Classification ID

Cryptography (94A60)

Cites work

• \textsc{Ascon} v1.2: lightweight authenticated encryption and hashing
• ACE-HoT: \underline{A}ccelerating an extreme amount of symmetric \underline{C}ipher \underline{E}valuations for (\underline{H}igh-\underline{o}rder) avalanche \underline{T}ests
• Bit-based division property and application to \textsc{Simon} family
• CLAASP: a cryptographic library for the automated analysis of symmetric primitives
• Cryptanalysis of hash functions on the MD4-family.
• Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives
• DLCT: a new tool for differential-linear cryptanalysis
• Fully automated differential-linear attacks against ARX ciphers
• Higher Order Derivatives and Differential Cryptanalysis
• scientific article; zbMATH DE number 2089131 (Why is no real title available?)
• scientific article; zbMATH DE number 503238 (Why is no real title available?)
• scientific article; zbMATH DE number 503329 (Why is no real title available?)
• scientific article; zbMATH DE number 1406763 (Why is no real title available?)
• Improved differential-linear attacks with applications to ARX ciphers
• Improving attacks on round-reduced Speck32/64 using deep learning
• MILP-aided method of searching division property using three subsets and applications
• Modeling for three-subset division property without unknown subset. Improved cube attacks against Trivium and Grain-128AEAD
• PRINCE -- a low-latency block cipher for pervasive computing applications. Extended abstract
• PRINCEv2. More security for (almost) no overhead
• Structural evaluation by generalized integral property
• The SKINNY Family of Block Ciphers and Its Low-Latency Variant MANTIS

Cited in

(2)

• Algebraic cryptanalysis of symmetric ciphers: modeling and multistep solving strategies
• Oracle-based multistep strategy for solving polynomial systems over finite fields and algebraic cryptanalysis of the Aradi cipher

This page was built for publication: CLAASPing ARADI: automated analysis of the ARADI block cipher

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