Dottorato in Ingegneria Informatica E Dei Sistemi , 18o ciclo (2003-2005)
Dottorato concluso nel 2006
Tesi:
Toward Producing Secure Software Systems
Tutori:
Riccardo SistoPubblicazioni
Pubblicazioni durante il dottorato Vedi tutte le pubblicazioni su Porto@Iris
- Pozza, Davide; Sisto, Riccardo; Durante, L. (2004)
Spi2Java: automatic cryptographic protocol java code generation from spi calculus. In: 18th International Conference on Advanced Information, Networking and Applications, Fukuoka, Japan, March 2004, pp. 400-405. ISBN: 0-7695-2051-0
Contributo in Atti di Convegno (Proceeding)