Questa attività di ricerca si occupa di modelli matematici e di strumenti informatici che hanno come obiettivo il miglioramento di sistemi eterogenei con particolare riguardo alla sicurezza, all'efficienza e alla scalabilità.
Tra le attività:
- Studio della integrità, confidenzialità, autenticità di dati e sistemi;
- Emulazione ed Analisi statica/dinamica di sistemi hardware/software;
- Analisi avanzata di dati raw o strutturati (i.e. transiti automobilistici e non, reti di comunicazione, real world graphs);
- Cybersecurity;
- Artificial Intelligence;
- Cyber-insurance ed Aspetti economici della Sicurezza;
- Cryptanalysis;
- Studio e analisi di metodologie numeriche e software per le Scienze Computazionali e l'Analisi di Dati su architetture HPC
Referenti
Eventi
