Juan Grados

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 5

Top Topics

Automated Analysis

Top Venues

IACR Cryptol. ePrint Arch.

Int. J. Appl. Cryptogr.

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, Rusydi H. Makarim, Carlo Sanna
Finding differential trails on ChaCha by means of state functions. Int. J. Appl. Cryptogr. 4 (3/4) (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, 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)