 | 2011 |
|---|
| 5 |       | Manuel Cheminod,
Alfredo Pironti,
Riccardo Sisto:
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access.
IEEE Trans. Industrial Informatics 7(1): 30-40 (2011) |
| 2009 |
|---|
| 4 | | Manuel Cheminod,
Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Tools for cryptographic protocols analysis: A technical and experimental comparison.
Computer Standards & Interfaces 31(5): 954-961 (2009) |
| 3 | | Manuel Cheminod,
Ivan Cibrario Bertolotti,
Luca Durante,
Paolo Maggi,
Davide Pozza,
Riccardo Sisto,
Adriano Valenzano:
Detecting Chains of Vulnerabilities in Industrial Networks.
IEEE Trans. Industrial Informatics 5(2): 181-193 (2009) |
| 2007 |
|---|
| 2 | | Manuel Cheminod,
Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems.
DepCoS-RELCOMEX 2007: 11-18 |
| 1 | | Manuel Cheminod,
Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols.
DepCoS-RELCOMEX 2007: 153-160 |
Data released under the ODC-BY 1.0 license — See also our legal information page