Ph.D. in Ingegneria Informatica E Dei Sistemi , 22nd cycle (2007-2009)
Ph.D. obtained in 2010
Dissertation:
Formal techniques for the analysis and verification of security properties in distributed systems
Tutors:
Riccardo SistoTeaching
Teachings
Bachelor of Science
- Informatica. A.A. 2009/10, INGEGNERIA CIVILE. Collaboratore del corso
Publications
Works published during the Ph.D. View all publications in 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