| |
| 2007 | ||
|---|---|---|
| 2 | EE | M. 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 | EE | M. 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 |
| 1 | Ivan Cibrario Bertolotti | [1] [2] |
| 2 | Luca Durante | [1] [2] |
| 3 | Riccardo Sisto | [1] [2] |
| 4 | Adriano Valenzano | [1] [2] |