An Efficient One-Bit Model for Differential Fault Analysis on Simon Family. - Juan del Carmen Grados Vasquez; Fábio Borges; Renato Portugal; Pedro C. S. Lara (FDTC, 2015)

Latin Dances Reloaded: Improved Cryptanalysis Against Salsa and ChaCha, and the Proposal of Forró. - Murilo Coutinho; Iago Passos; Juan del Carmen Grados Vasquez; Fábio Lúcio Lopes de Mendonça; Rafael Timteo de Sousa; Fábio Borges (ASIACRYPT (1), 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)

Fully Automated Differential-Linear Attacks against ARX Ciphers. - Emanuele Bellini 002; David Gérault; Juan Grados 002; Rusydi H. Makarim; Thomas Peyrin (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)

Boosting Differential-Linear Cryptanalysis of ChaCha7 with MILP. - Emanuele Bellini 002; David Gérault; Juan Grados 002; Rusydi H. Makarim; Thomas Peyrin (IACR Trans. Symmetric Cryptol., 2023)

Latin Dances Reloaded: Improved Cryptanalysis Against Salsa and ChaCha, and the Proposal of Forró. - Murilo Coutinho; Iago Passos; Juan del Carmen Grados Vasquez; Santanu Sarkar 001; Fábio L. L. Mendonça; Rafael Timóteo de Sousa Jr.; Fábio Borges (J. Cryptol., 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)

The Window Heuristic: Automating Differential Trail Search in ARX Ciphers with Partial Linearization Trade-offs. - Emanuele Bellini 002; David Gérault; Juan Grados 002; Thomas Peyrin (IACR Cryptol. ePrint Arch., 2024)

Finding differential trails on ChaCha by means of state functions. - Emanuele Bellini 002; Juan Grados 002; Rusydi H. Makarim; Carlo Sanna (Int. J. Appl. Cryptogr., 2024)