dblp.uni-trier.dewww.uni-trier.de

Luca Durante

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
14EEIvan 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
13EEM. 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
12EEM. 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
10EEIvan 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
9EEIvan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. DIMVA 2005: 69-84
2004
8EEDavide Pozza, Riccardo Sisto, Luca Durante: Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. AINA (1) 2004: 400-405
7EEIvan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA 2004: 135-149
2003
6EEIvan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. FORTE 2003: 224-239
5EEIvan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. TACAS 2003: 284-298
4EELuca 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
2EEGianluca 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)