Computer Security

Synthetic program:

I sistemi informatici moderni gestiscono quotidianamente informazioni di alto valore, come dati finanziari, transazioni economiche, e varie forme di proprietà intellettuale di alto valore. In aggiunta, i sistemi informatici stanno diventando pervasivi e sempre più interconnessi. Garantire la sicurezza delle informazioni in questo scenario è estremamente complesso. Disegnare e costruire sistemi informatici sicuri è un problema complesso ed interdisciplinare, che mescola elementi di crittografia, ingegneria del software, protocolli di rete, ma anche aspetti politici e sociali. Questo corso è un'estensiva introduzione alle sfide della "security engineering" e ai metodi usati per costruire, validare e superare (eticamente) i sistemi di sicurezza, con lo scopo di apprendere come realizzarli correttamente. Nelle lezioni, analizzeremo i vari blocchi costitutivi di un sistema informatico, e i loro sottosistemi di sicurezza. Analizzeremo costruttivamente le loro vulnerabilità, vedremo come possano essere sfruttate, ed impareremo deduttivamente cosa non abbia funzionato, al fine di evitare di ripetere errori del passato. Il corso ha una filosofia "hands-on", verranno condotti esercizi pratici per molti argomenti, e verrà reso disponibile un laboratorio virtuale per condurre esercizi di hacking.