Ph.D. in Ingegneria Informatica E Dei Sistemi , 18th cycle (2003-2005)
Ph.D. obtained in 2006
Dissertation:
Toward Producing Secure Software Systems
Tutors:
Riccardo SistoPublications
Works published during the Ph.D. View all publications in 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)