Personal information

Emails & domains

Verified email domains

Countries

United Arab Emirates

Activities

Collapse all

Works (6)

CLAASPing ARADI: Automated Analysis of the ARADI Block Cipher

2025 | Book chapter
DOI: 10.1007/978-3-031-80311-6_5
Contributors: Emanuele Bellini; Mattia Formenti; David Gérault; Juan Grados; Anna Hambitzer; Yun Ju Huang; Paul Huynh; Mohamed Rachidi; Raghvendra Rohit; Sharwan K. Tiwari
Source: check_circle
Crossref

CLAASP: A Cryptographic Library for the Automated Analysis of Symmetric Primitives

2024 | Book chapter
DOI: 10.1007/978-3-031-53368-6_19
Contributors: Emanuele Bellini; David Gerault; Juan Grados; Yun Ju Huang; Rusydi Makarim; Mohamed Rachidi; Sharwan Tiwari
Source: check_circle
Crossref

Deep Learning-Based Rotational-XOR Distinguishers for AND-RX Block Ciphers: Evaluations on Simeck and Simon

2024 | Book chapter
DOI: 10.1007/978-3-031-53368-6_21
Contributors: Amirhossein Ebrahimi; David Gerault; Paolo Palmieri
Source: check_circle
Crossref

Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives

2023 | Book chapter
DOI: 10.1007/978-981-99-7563-1_13
Contributors: Emanuele Bellini; Alessandro De Piccoli; Mattia Formenti; David Gerault; Paul Huynh; Simone Pelizzola; Sergio Polese; Andrea Visconti
Source: check_circle
Crossref

Fully Automated Differential-Linear Attacks Against ARX Ciphers

2023 | Book chapter
DOI: 10.1007/978-3-031-30872-7_10
Contributors: Emanuele Bellini; David Gerault; Juan Grados; Rusydi H. Makarim; Thomas Peyrin
Source: check_circle
Crossref

NNBits: Bit Profiling with a Deep Learning Ensemble Based Distinguisher

2023 | Book chapter
DOI: 10.1007/978-3-031-30872-7_19
Contributors: Anna Hambitzer; David Gerault; Yun Ju Huang; Najwa Aaraj; Emanuele Bellini
Source: check_circle
Crossref
How many people are using ORCID?