Insegnamenti attivi nel periodo selezionato: 23.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Argomento | Descrizione | Area di ricerca |
---|---|---|
Formal methods and theory of security | Development of formal, and possibly automated, methods for the analysis of the security of software systems |
Ingegneria del Software e Sicurezza
Formal methods and theory of security |
Network security | Development of techniques and tools for the security of computer networks |
Ingegneria del Software e Sicurezza
Network security |
Protezione del software | Sviluppo di tecniche formali e strumenti per la protezione del software. |
Ingegneria del Software e Sicurezza
Formal methods and theory of security |
Software and application security | Development of security methodologies and technologies for the security of software systems and Internet applications |
Ingegneria del Software e Sicurezza
Software and application security |
Software creation and management | Study and development of formal and semi-formal methodologies and technologies for the creation and management of software systems |
Ingegneria del Software e Sicurezza
Software creation and management |
Verifica del software | Procedure di decisione per la soddisfacibilità modulo teorie e loro applicazione alla verifica di proprietà di programmi; generazione di invarianti mediante dimostrazione di teoremi; generazione di interpolanti mediante dimostrazione di teoremi; raffinamento di astrazioni per model checking o analisi statica mediante dimostrazione di teoremi |
Ingegneria del Software e Sicurezza
Software creation and management |