Sicurezza informatica

La ricerca del Dipartimento in questo ambito si concentra sulla progettazione, analisi, verifica e test di software e sistemi per affrontare le sfide critiche legate alla cybersecurity e alla privacy che l'industria, la società e gli individui devono affrontare in un mondo guidato dalla tecnologia. La ricerca è sia teorica che applicata e copre aree quali la gestione dell'identità digitali, il controllo degli accessi, la privacy delle app web e mobili, la conformità al GDPR, la valutazione dei rischi legati ad attacchi cyber, approcci black-box di penetration testing, tecniche di rilevazione delle vulnerabilità nel codice, rilevazione di malware, tecniche di offuscamento e watermarking per la protezione del software, strumenti di attacco e difesa per i sistemi di controllo industriale (ICS), analisi formale della sicurezza dei sistemi di controllo industriale, e modelli formali per la verifica automatica di proprietà e protocolli di sicurezza. La ricerca è applicata a vari scenari tra cui blockchain, sistemi cyber-fisici, sistemi cloud, app web e mobili, e l'Internet delle cose (IoT).