Luca Durante Vis

*	2009
16	EE	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)
	2008
15	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
14	EE	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
13	EE	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
12	EE	Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano: Improving the security of industrial networks by means of formal verification. Computer Standards & Interfaces 29(3): 387-397 (2007)
	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

Coauthor Index

1	Ivan Cibrario Bertolotti	[5] [6] [7] [9] [10] [12] [13] [14] [15] [16]
2	Gianluca Cena	[2]
3	Manuel Cheminod	[13] [14] [16]
4	Paolo Maggi	[12]
5	Davide Pozza	[8] [11]
6	Riccardo Sisto	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
7	Adriano Valenzano	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [16]