Software and application security

Mila Dalla Preda
Professore associato
Roberto Giacobazzi
Professore ordinario
Isabella Mastroeni
Professore associato
Federica Maria Francesca Paci
Professore associato
Competenze
Argomento Persone Descrizione
Aspetti formali di sicurezza del software Mila Dalla Preda
Roberto Giacobazzi
Isabella Mastroeni
Sviluppo di modelli e analisi, basate su interpretazione astratta, per la verifica e l'analisi di proprietà di sicurezza di programmi.
Software and application security Federica Maria Francesca Paci
Development of security methodologies and technologies for the security of software systems and Internet applications

Attività

Strutture

Condividi