Manuel Cheminod

Dottorato in Ingegneria Informatica E Dei Sistemi , 22^o ciclo (2007-2009)

Dottorato concluso nel 2010

Tesi:

Formal techniques for the analysis and verification of security properties in distributed systems

Tutori:

Didattica

Insegnamenti

Corso di laurea di 1° livello

Informatica. A.A. 2009/10, INGEGNERIA CIVILE. Collaboratore del corso
Informatica. A.A. 2008/9, INGEGNERIA MECCANICA. Collaboratore del corso

MostraNascondi A.A. passati

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