VIVANI, ALESSIO Statistiche
VIVANI, ALESSIO
DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE
A Model-Based Approach for Analysis of Data-Alteration Attacks in Co-operative Vehicles
2025-01-01 Bernardeschi, Cinzia; Palmieri, Maurizio; Sanguinetti, Marta; Vivani, Alessio
Longitudinal traces of platoon simulation with and without cyber-attacks and network latency
2025-01-01 Pagani, Dario; Bernardeschi, Cinzia; Lettieri, Giuseppe; Quadri, Christian; Fagiolini, Adriano; Santone, Antonella; Nardone, Vittoria; Vivani, Alessio
Attacks detection in Cyber-Physical Systems with Neural Networks: A case study
2024-01-01 Bernardeschi, C.; Dini, G.; Palmieri, M.; Vivani, A.
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project
2024-01-01 Bernardeschi, C.; Lettieri, G.; Vivani, A.; Bechini, A.; Vecchio, A.; Rossi, F.; Quadri, C.; Galdeman, A.; Fagiolini, A.; Pedone, S.; Santone, A.; Nardone, V.; Mercaldo, F.; Correra, S.; Varriano, G.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Model-Based Approach for Analysis of Data-Alteration Attacks in Co-operative Vehicles | 1-gen-2025 | Bernardeschi, Cinzia; Palmieri, Maurizio; Sanguinetti, Marta; Vivani, Alessio | |
| Longitudinal traces of platoon simulation with and without cyber-attacks and network latency | 1-gen-2025 | Pagani, Dario; Bernardeschi, Cinzia; Lettieri, Giuseppe; Quadri, Christian; Fagiolini, Adriano; Santone, Antonella; Nardone, Vittoria; Vivani, Alessio | |
| Attacks detection in Cyber-Physical Systems with Neural Networks: A case study | 1-gen-2024 | Bernardeschi, C.; Dini, G.; Palmieri, M.; Vivani, A. | |
| Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project | 1-gen-2024 | Bernardeschi, C.; Lettieri, G.; Vivani, A.; Bechini, A.; Vecchio, A.; Rossi, F.; Quadri, C.; Galdeman, A.; Fagiolini, A.; Pedone, S.; Santone, A.; Nardone, V.; Mercaldo, F.; Correra, S.; Varriano, G. |