Research areas involved in the project | |
---|---|
Sicurezza informatica
Formal methods and theory of security (DI) |
|
Ingegneria del Software e verifica formale
Formal methods and theory of security (DI) |
|
Algebra, Geometria e Logica Matematica
Semantics and reasoning (DI) |
|
Algoritmi, Logica e teoria della computazione
Semantics and reasoning (DI) (DI) |
|
Ingegneria del Software e verifica formale
Semantics and reasoning (DI) |
|
Sicurezza informatica
Software and application security (DI) |
|
Ingegneria del Software e verifica formale
Software and application security (DI) |
|
Sicurezza informatica
Software creation and management (DI) |
|
Ingegneria del Software e verifica formale
Software creation and management (DI) |
|
Sicurezza informatica
Software organization and properties (DI) |
|
Ingegneria del Software e verifica formale
Software organization and properties (DI) |
******** CSS e script comuni siti DOL - frase 9957 ********p>