FORMENTI, MATTIA
FORMENTI, MATTIA
Universita' degli Studi di MILANO
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives
2023 E. Bellini, A. DE PICCOLI, M. Formenti, D. Gerault, P. Huynh, S. Pelizzola, S. Polese, A. Visconti
Study of the catalytic action of heavy metals to understand the phenomenon of sulphation and the formation of black crusts
2023 V. Comite, A. Bergomi, P. Fermo, C. Castellano, M. Borelli, C.A. Lombardi, M. Formenti, C. C Cavaterra, C. Della Pina
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives | 2023 | Alessandro De PiccoliMattia FormentiSimone PelizzolaSergio PoleseAndrea Visconti + | Book Part (author) | - | |
| Study of the catalytic action of heavy metals to understand the phenomenon of sulphation and the formation of black crusts | 2023 | V. ComiteA. BergomiP. FermoC. CastellanoM. BorelliC. A. LombardiM. FormentiCa C CavaterraC. Della Pina | Book Part (author) | - |