Dottorato in Ingegneria Informatica E Dei Sistemi , 22o ciclo (2007-2009)
Dottorato concluso nel 2010
Tesi:
Formal techniques for the analysis and verification of security properties in distributed systems
Tutori:
Riccardo SistoDidattica
Collegi dei Corsi di Studio
- Collegio di Ingegneria Informatica, del Cinema e Meccatronica. Componente invitato
Pubblicazioni
Pubblicazioni durante il dottorato Vedi tutte le pubblicazioni su Porto@Iris
- Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Maggi, Paolo; Pozza, Davide; ... (2009)
Detecting Chains of Vulnerabilities in Industrial Networks. In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, vol. 5, pp. 181-193. ISSN 1551-3203
Contributo su Rivista - Cheminod, M.; BERTOLOTTI CIBRARIO, I.; Durante, L; Sisto, R; Valenzano, A. (2009)
Tools for cryptographic protocols analysis: A technical and experimental comparison. In: COMPUTER STANDARDS & INTERFACES, vol. 31, pp. 954-961. ISSN 0920-5489. ISBN 09205489
Contributo su Rivista - Cheminod, Manuel; BERTOLOTTI I., Cibrario; Durante, L; Valenzano, A. (2008)
On the Analysis of Vulnerability Chains in Industrial Networks. In: 2008 IEEE International Workshop on Factory Communication Systems (WFCS 2008), Dresden, Germany, May 21-23 2008
Contributo in Atti di Convegno (Proceeding) - Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, ... (2007)
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. In: Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on, Szklarska Poreba (Poland), 14-16 June 2007, pp. 11-18. ISBN: 9780769528502
Contributo in Atti di Convegno (Proceeding) - Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, ... (2007)
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. In: Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on, Szklarska (Poland), 14-16 June 2007, pp. 153-160. ISBN: 9780769528502
Contributo in Atti di Convegno (Proceeding)