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; Valenzano, A. (2006)
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software. In: COMSWARE 2006 - 1st Int. Conf. on Comunication System Software and Middleware, New Delhi, India, 08-12 January 2006. ISBN: 9780780395756
Contributo in Atti di Convegno (Proceeding) - Yves, Younan; Pozza, Davide; Frank, Piessens; Wouter, Joosen (2006)
Extended protection against stack smashing attacks without performance loss. In: ?Congresso?
Contributo in Atti di Convegno (Proceeding) - Maggi, P; Pozza, Davide (2004)
Automatic Verification Techniques to Improve the Open Source Software Quality. In: ?Congresso?
Contributo in Atti di Convegno (Proceeding) - 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)