Mohamed Rachidi

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Automated Analysis

Visual Analysis

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Emanuele Bellini, Mattia Formenti, David Gérault, Juan Grados, Anna Hambitzer, Yun Ju Huang, Paul Huynh, Mohamed Rachidi, Raghvendra Rohit, Sharwan K. Tiwari
CLAASPing ARADI: Automated Analysis of the ARADI Block Cipher. IACR Cryptol. ePrint Arch. 2024 (2024)
Emanuele Bellini, Juan Grados, Mohamed Rachidi, Nitin Satpute, Joan Daemen, Solane El Hirch
ACE-HoT: Accelerating an extreme amount of symmetric Cipher Evaluations for High-Order avalanche Tests. IACR Cryptol. ePrint Arch. 2023 (2023)
Emanuele Bellini, David Gérault, Juan Grados, Yun Ju Huang, Mohamed Rachidi, Sharwan K. Tiwari, Rusydi H. Makarim
CLAASP: a Cryptographic Library for the Automated Analysis of Symmetric Primitives. IACR Cryptol. ePrint Arch. 2023 (2023)
Emanuele Bellini, David Gérault, Juan Grados, Yun Ju Huang, Rusydi H. Makarim, Mohamed Rachidi, Sharwan K. Tiwari
CLAASP: A Cryptographic Library for the Automated Analysis of Symmetric Primitives. SAC (2023)
Emanuele Bellini, Juan Grados, Mohamed Rachidi, Nitin Satpute, Joan Daemen, Solane El Hirch
ACE-HoT: Accelerating an Extreme Amount of Symmetric Cipher Evaluations for (High-order) Avalanche Tests. LATINCRYPT (2023)
Emanuele Bellini, Yun Ju Huang, Mohamed Rachidi
Statistical Tests for Symmetric Primitives - An Application to NIST Lightweight Finalists. SecITC (2022)