| 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 |
© 2025 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
