Argomento | Area di ricerca |
---|---|
Analisi statica |
Ingegneria del Software e Verifica Formale
Software organization and properties |
Analisi statica di programmi |
Ingegneria del Software e Verifica Formale
Automated static analysis |
Aspetti formali di sicurezza del software |
Sicurezza informatica
Software and application security |
Blockchain e smart contracts |
Ingegneria del Software e Verifica Formale
Software creation and management |
Modelli formali della computazione |
Ingegneria del Software e Verifica Formale
Models of computation |
Probabilistic Analysis of Security |
Sicurezza informatica
Formal methods and theory of security |
Protezione del software |
Sicurezza informatica
Formal methods and theory of security |
Semantica di programmi |
Ingegneria del Software e Verifica Formale
Semantics and reasoning |
******** CSS e script comuni siti DOL - frase 9957 ********p>