Curriculum vitae et studiorum

Transcript

1 CHEMINOD MANUEL Curriculum vitae et studiorum Esperienza Professionale Periodo: 01/11/ oggi Tecniche e strumenti software per l analisi di sicurezza di reti industriali Protocollo: IEIIT - CNR N /10/2012 Periodo: 01/11/ /10/2012 Tecniche e strumenti software per l analisi di sicurezza di reti industriali Protocollo: IEIIT - CNR N /10/2011 Periodo: 02/11/ /10/2011 Tecniche e strumenti software per l analisi di sicurezza di reti industriali Protocollo: IEIIT - CNR N /10/2010 Periodo: 01/04/ /10/2010 Protocollo: IEIIT - CNR N /03/2010 Periodo: 01/04/ /03/2010 Protocollo: IEIIT - CNR N /03/2009

2 Periodo: 01/04/ /03/2009 Protocollo: IEIIT - CNR N /03/2008 Periodo: 01/04/ /03/2008 Protocollo: IEIIT - CNR N /03/2007 Periodo: 01/04/ /03/2007 Protocollo: IEIIT/TO06/015 Istruzione Titolo: Dottore di Ricerca in INGEGNERIA INFORMATICA E DEI SISTEMI Data: 15/04/2010 Protocollo: certificato n Rilasciato da: Politecnico di Torino Titolo: Laura in INGEGNERIA INFORMATICA Data: 14/11/2005 Voto: 103/110 Protocollo: certificato n Rilasciato da: Politecnico di Torino Lingue Madrelingua: Italiano Lingua inglese, comprensione: Lingua inglese, parlato: Lingua inglese, scritto: Lingua francese, comprensione: Lingua francese parlato: Lingua francese, scritto: livello avanzato livello avanzato livello avanzato livello intermedio livello intermedio livello intermedio

3 Attività di Formazione Data: 2009 Attività: partecipazione alla scuola estiva International School on Foundations of Security Analysis and Design (FOSAD 2009). Data: 2007 Attività: partecipazione alla scuola estiva Resilience in Computing Systems and Information Infrastructures (ReSIST 2007). Attività di Ricerca Analisi formale di protocolli crittografici. In questo lavoro di ricerca è stato selezionato un insieme di protocolli crittografici con l obiettivo di verificare formalmente il soddisfacimento di alcune proprietà (come la confidenzialità dei dati coinvolti o l autenticità dei partecipanti alle comunicazioni). Le specifiche dei protocolli selezionati sono state trasformate in specifiche formali adatte ad essere analizzate tramite l utilizzo di alcuni software automatici di verifica formale. Il lavoro è servito anche per confrontare l espressività dei linguaggi usati e le prestazioni ed i limiti dei relativi software. Verifica di proprietà di sicurezza in sistemi distributi ed eterogenei. L obiettivo di questa attività di ricerca e di verificare proprieta di sicurezza in sistemi di considerevoli dimensioni composti da elementi eterogenei. La verifica viene condotta formalizzando la descrizione del sistema, dei suoi elementi e delle interazioni/relazioni tra gli stessi. Le stesse proprietà che si intendono verificare sono descritte formalmente ed inserite nel sistema formale complessivo. L analisi viene quindi condotta automaticamente con l ausilio di uno strumento software sviluppato appositamente. Alcune delle problematiche rilevanti affrontate sono legate alla descrizione del sistema, alla complessità del sistema in termini di numero di elementi coinvolti ed al tipo di analisi condotta (in particolare statica o dinamica). La descrizione del sistema presenta difficoltà relative alla reperibilità di tutte le informazioni necessarie e relative alla potenziale ambiguità delle descrizioni stesse quando non vengono presentate tramite un linguaggio formale. Queste problematiche sono state affrontate progettando un modello flessibile per descrivere il sistema tale da accettare dati parziali o mancanti. La complessità dei sistemi considerati è legata al numero di elementi coinvolti e alla eterogeneità degli stessi. Queste caratteristiche influenzano direttamente la complessità del modello e quindi dell analisi risultante. Il problema è stato affrontato individuando possibili astrazioni in modo da semplificare il modello del sistema. Alcune astrazioni comportano la perdita di dettagli rilevanti e questo implica direttamente uno scostamento dei risultati ottenuti sul modello rispetto al sistema reale. Il modello è stato quindi reso facilmente raffinabile in modo da trovare un compromesso tra fattibilità dell analisi e precisione dei risultati. Lo strumento software viene sviluppato per mezzo del linguaggio di programmazione Prolog. Tramite lo stesso linguaggio viene descritta l analisi condotta e il modello su cui condurre l analisi stessa. L analisi si basa su grafi. Il modello viene descritto come un serie di nodi (che rappresentano elementi del sistema) ed archi tra i nodi (che rappresentano relazioni tra gli

4 elementi). L analisi statica viene condotta su questa struttura dati. Le interazioni nel sistema vengono formalizzate come regole che descrivono l evoluzione del grafo e questo permette di condurre un analisi dinamica verificando la sicurezza di un sistema che cambia nel tempo. Lo strumento viene poi inserito in un framework più ampio che interessa anche la parte di acquisizione dati e presentazione dei risultati. Analisi di sicurezza in ambienti industriali. La verifica di proprietà di sicurezza viene specializzata per l analisi in ambienti industriali. Tali ambienti presentano alcune caratteristiche rilevanti che comportano la definizione di nuovi vincoli e impediscono l applicazione diretta di quelle contromisure usate in sistemi informatici generici. Alcuni dei vincoli più rilevanti sono la disponibilità (non si può bloccare una linea di produzione al minimo sospetto di attacco informatico) e performance (non possono essere introdotti filtri che rallentino eccessivamente le comunicazioni tra gli elementi). In questo contesto viene anche affrontata la verifica di coerenza, efficacia e fattibilità di policies di sicurezza su vari livelli. Questi problemi vengono correntemente affrontati sia da un punto di vista teorico che da un punto di vista pratico collaborando con realtà industriali. Nello stessa attività di ricerca sono anche condotte analisi su apparecchi di rete innovativi che sono stati progettati appositamente per l utilizzo in ambienti industriali. L analisi su questi elementi si concentra sull effettivo miglioramento in termini di sicurezza nel sistema, sulla flessibilità dell utilizzo di tali elementi in progetti di sicurezza piu complessi e sull impatto sulle performance del sistema (in termini, per esempio, di ritardi introdotti). Partecipazione a progetti europei Periodo: Gennaio Dicembre 2012 Progetto: INMOTOS (INter-dependency MOdelling TOols and Simulation based risk assessment of ICT critical infrastructures contingency plans). Attività: Le attivita svolte in questo progetto sono principalmente legate all analisi del rischio in infrastrutture critiche ed alla definizione e descrizione delle interdipendenze tra sistemi critici. Nel contesto delle infrastrutture critiche la valutazione dei rischi coinvolge molti aspetti eterogenei, a partire dai rischi di interruzione delle forniture dei beni ai rischi legati all ambiente ed alla vita delle persone. Le conseguenze in caso di incidenti, infatti, possono essere molto gravi e varie misure volte a ridurre i rischi o a reagire agli eventi diventano necessarie. Il progetto ha sviluppato una metodologia in grado di modellare le infrastrutture critiche, i rischi relativi, e le contromisure associate. Sulla base di questo modello la metodologia permette di effettuare delle analisi a diversi livelli di astrazione, dal livello delle singole risorse coinvolte (materiali, persone, informazioni,... ) fino ad un livello più alto di aggregazione in grado di fornire metriche relative all intero sistema.

5 Periodo: Gennaio Aprile 2009 Progetto: DESEREC (DEpendability and Security by Enhanced REConfigurability). Attività: Le attività svolte in questo progetto si inseriscono nell attività della verifica di proprietà di sicurezza in sistemi distribuiti ed eterogenei. L attenzione è stata posta sul fattore disponibilità in grandi sistemi complessi. Le interazioni con partners industriali nel progetto hanno permesso lo sviluppo di modelli realistici e sufficientemente flessibili da ottenere risultati rilevanti ed utili. Le problematiche relative alla complessità del sistema sono state affrontate su vari fronti tramite l indivuazione di astrazioni adeguate. Il cuore dello strumento software sviluppato e stato inserito nel framework più ampio del progetto ottenendo un alto grado di interoperabilità con componenti di natura diversa. Attività di revisione É stato revisore di articoli per la conferenza WFCS 2010 (8th IEEE International Workshop on Factory Communication Systems). É stato revisore di articoli per il journal IEEE Transactions on Industrial Informatics. Attività didattica Periodo: 18/02/ /05/2008 Attività: 72 ore di Esercitazioni per il corso di Informatica (I Facoltà di Ingegneria) Periodo: 23/02/ /06/2009 Attività: 48 ore di Esercitazioni per il corso di Informatica (I Facoltà di Ingegneria) Periodo: 22/02/ /06/2010 Attività: 76 ore di Esercitazioni per il corso di Informatica (I Facoltà di Ingegneria) Periodo: 04/03/ /09/2013 Attività: 36 ore di Tutoraggio per il corso di Programmazione a oggetti (III Facoltà di Ingegneria) Riconoscimenti L articolo Detecting chains of vulnerabilities in industrial networks è stato selezionato ed (un estratto dello stesso) e stato pubblicato sul volume CNR HIGHLIGHTS

6 Pubblicazioni su rivista ISI 1) M. Cheminod, Luca Durante, and Adriano Valenzano. Review of Security Issues in Industrial Networks. IEEE Transactions on Industrial Informatics, 9(1): , ) Manuel Cheminod, Alfredo Pironti, and Riccardo Sisto. Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access. IEEE Transactions on Industrial Informatics, 7(1):30-40, Feb ) Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, and Adriano Valenzano. Tools for cryptographic protocols analysis: A technical and experimental comparison. Computer Standards & Interfaces, 31(5): , Sep ) Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, and Adriano Valenzano. Detecting chains of vulnerabilities in industrial networks. IEEE Transactions on Industrial Informatics, 5(2): , May A conferenza 1) M. Cheminod, Policy implementation check in industrial networks. To appear in 11th IEEE Int. Conf. on Industrial Informatics (INDIN 2013), ) M. Cheminod, L. Durante, and A. Valenzano, System Configuration Check Against Security Policies. In 7th IEEE Int. Symposium on Industrial Embedded Systems (SIES 2012), ) M. Cheminod, I. Cibrario Bertolotti, L. Durante, and A. Valenzano, Modeling Emergency Response Plans with Coloured Petri Nets. In 7th International Workshop on Critical Information Infrastructures Security (CRITIS 2012), ) S. Scanzio, M. Cheminod, and C. Zunino, Stack Open-Source e Real-Time. AICA Italian National Conference, Torino, ) M. Cheminod, and M. Cereia, Conformita di Politiche di Sicurezza in Ambienti Industriali. AICA Italian National Conference, Torino, ) M. Cheminod, I. Cibrario Bertolotti, L. Durante, and A. Valenzano. Automatic analysis of security policies in industrial networks. In IEEE International Workshop on Factory Communication Systems (WFCS 2010), ) M. Cheminod, I. Cibrario Bertolotti, L. Durante, and A. Valenzano. On the analysis of vulnerability chains in industrial networks. In IEEE International Workshop on Factory Communication Systems (WFCS 2008), 2008.

7 8) M. Cheminod, I. Cibrario Bertolotti, L. Durante, R. Sisto, and A. Valenzano. Experimental comparison of automatic tools for the formal analysis of cryptographic protocols. In 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), ) M. Cheminod, I. Cibrario Bertolotti, L. Durante, R. Sisto, and A. Valenzano. Evaluating the combined effect of vulnerabilities and faults on large distributed systems. In 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), ) M. Cheminod, I. Cibrario Bertolotti, L. Durante, R. Sisto, and A. Valenzano. On the use of automatic tools for the formal analysis of ieee key-exchange protocols. In IEEE International Workshop on Factory Communication Systems (WFCS 2006), 2006.