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 |
Strada le Grazie 15
37134 Verona
Partita IVA01541040232
Codice Fiscale93009870234
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>