IIT Home Page CNR Home Page

On the Security of Software Systems and Services

- Language-based and history-based security
- Formal methods applied to the security analysis of composed systems

Università di Pisa
Settore: Informatica - INF/01

Dottorando: Gabriele Costa

Referente: Pierpaolo Degano

Foto di Pierpaolo Degano