Sul programma di formazione
Analisi delle vulnerabilità note e nuove, la loro sistematizzazione, lo sviluppo di metodi per la ricerca intelligente di nuove classi di vulnerabilità. Modellazione delle politiche di sicurezza delle informazioni, minacce e attacchi, basi metodologiche per lo sviluppo di profili di protezione. Metodi di progettazione, modellazione, analisi, trasformazione di programmi per identificare potenziali vulnerabilità nei sistemi software tenendo conto delle specificità delle fasi del ciclo di vita: sviluppo dei requisiti, progettazione dell'architettura, sviluppo del codice software, test, verifica, certificazione e funzionamento. Metodi, algoritmi e strumenti per l'analisi approfondita post-rilascio della sicurezza del software e dell'hardware.