Mattia Formenti

According to our database, Mattia Formenti authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

CLAASPing ARADI: Automated Analysis of the ARADI Block Cipher.

Emanuele Bellini, Mattia Formenti, David Gérault, Juan Grados, Anna Hambitzer, Yun Ju Huang, Paul Huynh, Mohamed Rachidi, Raghvendra Rohit, Sharwan K. Tiwari

Proceedings of the Progress in Cryptology - INDOCRYPT 2024, 2024

2023

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

Emanuele Bellini, Alessandro De Piccoli, Mattia Formenti, David Gérault, Paul Huynh, Simone Pelizzola, Sergio Polese, Andrea Visconti

Proceedings of the Cryptology and Network Security - 22nd International Conference, 2023