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 Sisto Teaching Teachings Bachelor of Science Informatica. A.A. 2009/10, INGEGNERIA CIVILE. Collaboratore del corso Informatica. A.A. 2008/9, INGEGNERIA MECCANICA. Collaboratore del corso MostraNascondi A.A. passati 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