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
Luca Vigano' |
Development of security methodologies and technologies for the security of software systems and Internet applications |
Strada le Grazie 15
37134 Verona
VAT number
01541040232
Italian Fiscal Code
93009870234
© 2021 | Verona University | Credits