Topic | Research area |
---|---|
Static Analysis |
Ingegneria del Software e verifica formale
Software organization and properties |
Formal software and application security |
Sicurezza informatica
Software and application security |
Blockchain and smart contracts |
Ingegneria del Software e verifica formale
Software creation and management |
Lambda Calculus |
Ingegneria del Software e verifica formale
Models of computation |
Probabilistic Analysis of Security |
Sicurezza informatica
Formal methods and theory of security |
Code protection |
Sicurezza informatica
Formal methods and theory of security |
Quantitative static analysis |
Ingegneria del Software e verifica formale
Software organization and properties |
Program semantics |
Ingegneria del Software e verifica formale
Semantics and reasoning |
Semantics of Probabilistic Languages |
Ingegneria del Software e verifica formale
Semantics and reasoning |
Code synthesis |
Ingegneria del Software e verifica formale
Software creation and management |
Topological Quantum Computation |
Ingegneria del Software e verifica formale
Models of computation |
******** CSS e script comuni siti DOL - frase 9957 ********p>