| 2008 |
|---|
| 14 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Efficient representation of the attacker's knowledge in cryptographic protocols analysis.
Formal Asp. Comput. 20(3): 303-348 (2008) |
| 2007 |
|---|
| 13 | 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 |
| 12 | 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 |
|---|
| 11 | | Davide Pozza,
Riccardo Sisto,
Luca Durante,
Adriano Valenzano:
Comparing lexical analysis tools for buffer overflow detection in network software.
COMSWARE 2006 |
| 10 | 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 |
|---|
| 9 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study.
DIMVA 2005: 69-84 |
| 2004 |
|---|
| 8 | EE | Davide Pozza,
Riccardo Sisto,
Luca Durante:
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus.
AINA (1) 2004: 400-405 |
| 7 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Exploiting Symmetries for Testing Equivalence in the Spi Calculus.
ATVA 2004: 135-149 |
| 2003 |
|---|
| 6 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis.
FORTE 2003: 224-239 |
| 5 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis.
TACAS 2003: 284-298 |
| 4 | EE | Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Automatic testing equivalence verification of spi calculus specifications.
ACM Trans. Softw. Eng. Methodol. 12(2): 222-284 (2003) |
| 2000 |
|---|
| 3 | | Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.
FORTE 2000: 155-170 |
| 1997 |
|---|
| 2 | EE | Gianluca Cena,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Adaptive bandwidth balancing mechanisms for DQDB networks.
Computer Communications 20(9): 804-819 (1997) |
| 1994 |
|---|
| 1 | | Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
A LOTOS specification of the SERCOS field-bus protocol.
SEKE 1994: 139-147 |
