| 2007 |
|---|
| 9 | 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 |
| 8 | 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 |
| 2006 |
|---|
| 7 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus.
Int. J. Found. Comput. Sci. 17(4): 815-832 (2006) |
| 2005 |
|---|
| 6 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study.
DIMVA 2005: 69-84 |
| 5 | EE | Gianluca Cena,
Ivan Cibrario Bertolotti,
Adriano Valenzano:
Modelling CANopen communications according to the socket paradigm.
ETFA 2005 |
| 4 | | Ivan Cibrario Bertolotti:
Internal Architecture and Features of Real-Time Embedded Operation Systems.
The Industrial Information Technology Handbook 2005: 1-23 |
| 2004 |
|---|
| 3 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Exploiting Symmetries for Testing Equivalence in the Spi Calculus.
ATVA 2004: 135-149 |
| 2003 |
|---|
| 2 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis.
FORTE 2003: 224-239 |
| 1 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis.
TACAS 2003: 284-298 |
