Statistical Tests for Symmetric Primitives - An Application to NIST Lightweight Finalists. - Emanuele Bellini 002; Yun Ju Huang; Mohamed Rachidi (SecITC, 2022)

CLAASP: a Cryptographic Library for the Automated Analysis of Symmetric Primitives. - Emanuele Bellini 002; David Gérault; Juan Grados 002; Yun Ju Huang; Mohamed Rachidi; Sharwan K. Tiwari; Rusydi H. Makarim (IACR Cryptol. ePrint Arch., 2023)

ACE-HoT: Accelerating an extreme amount of symmetric Cipher Evaluations for High-Order avalanche Tests. - Emanuele Bellini 002; Juan Grados 002; Mohamed Rachidi; Nitin Satpute; Joan Daemen; Solane El Hirch (IACR Cryptol. ePrint Arch., 2023)

CLAASPing ARADI: Automated Analysis of the ARADI Block Cipher. - Emanuele Bellini 002; Mattia Formenti; David Gérault; Juan Grados 002; Anna Hambitzer; Yun Ju Huang; Paul Huynh; Mohamed Rachidi; Raghvendra Rohit 001; Sharwan K. Tiwari (IACR Cryptol. ePrint Arch., 2024)

Mind the Composition of Toffoli Gates: Structural Algebraic Distinguishers of ARADI. - Emanuele Bellini 002; Mohamed Rachidi; Raghvendra Rohit 001; Sharwan K. Tiwari (IACR Cryptol. ePrint Arch., 2024)

Symmetric Twin Column Parity Mixers and Their Applications. - Hao Lei; Raghvendra Rohit 001; Guoxiao Liu; Jiahui He; Mohamed Rachidi; Keting Jia; Kai Hu 001; Meiqin Wang (IACR Trans. Symmetric Cryptol., 2024)

On the Structural Properties of Toffoli Gate Composition in ARADI: Implications for Algebraic Distinguishers. - Emanuele Bellini 002; Mohamed Rachidi; Raghvendra Rohit 001; Sharwan K. Tiwari (ACNS (2), 2025)