MANUEL CHEMINOD

Download the vcard Photo

Adjunct Professor
TECNOLOGO CNR-IEIIT (Altro ente) (Consiglio Nazionale delle Ricerche - Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni)

Personal web site

Most recent publications

Valenza, F.; Cheminod, M. (2020)
An optimized firewall anomaly resolution. In: JOURNAL OF INTERNET SERVICES AND INFORMATION SECURITY, vol. 10, pp. 22-37. ISSN 2182-2069 Download fulltext
Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano (2019)
A comprehensive approach to the automatic refinement and verification of access control policies. In: COMPUTERS & SECURITY, vol. 80, pp. 186-199. ISSN 0167-4048 Download fulltext
Cheminod, Manuel; Durante, Luca; Valenza, Fulvio; Valenzano, Adriano (2018)
Toward attribute-based access control policy in industrial networked systems. In: 14th IEEE International Workshop on Factory Communication Systems, WFCS 2018, ita, 2018, pp. 1-9. ISBN: 9781538610664 Download fulltext
Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano; ... (2017)
Leveraging SDN To Improve Security in Industrial Networks. In: 13th IEEE International Workshop on Factory Communication Systems, Trondheim (NO), May 31 - June 2. ISBN: 978-150905788-7 Download fulltext
Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano (2017)
Automated Fixing of Access Policy Implementation in Industrial Networked Systems. In: 13th IEEE International Workshop on Factory Communication Systems, Trondheim (NO), May 31 - June 2 Download fulltext
CHEMINOD M; CIBRARIO BERTOLOTTI I; DURANTE L; MAGGI P; POZZA D; SISTO R.; AND VALENZANO A (2009)
Detecting Chains of Vulnerabilities in Industrial Networks. In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, vol. 5, pp. 181-193. ISSN 1551-3203
CHEMINOD M.; BERTOLOTTI I. CIBRARIO; DURANTE L; SISTO R; VALENZANO A (2009)
Tools for cryptographic protocols analysis: A technical and experimental comparison. In: COMPUTER STANDARDS & INTERFACES, vol. 31(5), pp. 954-961. ISSN 0920-5489. ISBN 09205489
CHEMINOD M.; 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
CHEMINOD M.; BERTOLOTTI I. CIBRARIO; DURANTE L; SISTO R; VALENZANO A (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
CHEMINOD M.; BERTOLOTTI I. CIBRARIO; DURANTE L; SISTO R; VALENZANO A (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, Poland, 14-16 June 2007, pp. 11-18. ISBN: 9780769528502
CHEMINOD M.; BERTOLOTTI I. CIBRARIO; DURANTE L; SISTO R; VALENZANO A (2006)
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols. In: Factory Communication Systems, 2006 IEEE International Workshop on, Torino, 28-30 June, 2006, pp. 273-282. ISBN: 9781424403790
Show all publications in Porto@Iris