Software and application security

  1. Home
  2. Ricerca
  3. Aree di ricerca
  4. 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à

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi