Login / Signup
Mattia Formenti
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Automated Analysis
Sat Solvers
S Box
Block Cipher
Top Venues
IACR Cryptol. ePrint Arch.
CANS
</>
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
,
Alessandro De Piccoli
,
Mattia Formenti
,
David Gérault
,
Paul Huynh
,
Simone Pelizzola
,
Sergio Polese
,
Andrea Visconti
Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives.
IACR Cryptol. ePrint Arch.
2024 (2024)
Emanuele Bellini
,
Alessandro De Piccoli
,
Mattia Formenti
,
David Gérault
,
Paul Huynh
,
Simone Pelizzola
,
Sergio Polese
,
Andrea Visconti
Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives.
CANS
(2023)