| Topic | People | Description |
|---|---|---|
| Formal software and application security |
Mila Dalla Preda
Roberto Giacobazzi Isabella Mastroeni |
Development of models and analyses, based on abstract interpretation, for the security application verification and for security properties enforcement. |
| 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 ********
