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