Mattia Formenti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2023–2024
Best venue rank
National
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | INDOCRYPT | CLAASPing ARADI: Automated Analysis of the ARADI Block Cipher. | Emanuele Bellini, Mattia Formenti, David Grault, Juan Grados, Anna Hambitzer, Yun Ju Huang, Paul Huynh, Mohamed Rachidi, Raghvendra Rohit, Sharwan K. Tiwari |
| 2023 | CANS | Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives. | Emanuele Bellini, Alessandro De Piccoli, Mattia Formenti, David Grault, Paul Huynh, Simone Pelizzola, Sergio Polese, Andrea Visconti |