|
Search the dblp DataBase
Luca Durante:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Davide Pozza, Riccardo Sisto, Luca Durante
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. [Citation Graph (0, 0)][DBLP] AINA (1), 2004, pp:400-405 [Conf]
- Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Exploiting Symmetries for Testing Equivalence in the Spi Calculus. [Citation Graph (0, 0)][DBLP] ATVA, 2004, pp:135-149 [Conf]
- Davide Pozza, Riccardo Sisto, Luca Durante, Adriano Valenzano
Comparing lexical analysis tools for buffer overflow detection in network software. [Citation Graph (0, 0)][DBLP] COMSWARE, 2006, pp:- [Conf]
- Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. [Citation Graph (0, 0)][DBLP] DIMVA, 2005, pp:69-84 [Conf]
- Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. [Citation Graph (0, 0)][DBLP] FORTE, 2003, pp:224-239 [Conf]
- Luca Durante, Riccardo Sisto, Adriano Valenzano
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. [Citation Graph (0, 0)][DBLP] FORTE, 2000, pp:155-170 [Conf]
- Luca Durante, Riccardo Sisto, Adriano Valenzano
A LOTOS specification of the SERCOS field-bus protocol. [Citation Graph (0, 0)][DBLP] SEKE, 1994, pp:139-147 [Conf]
- Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. [Citation Graph (0, 0)][DBLP] TACAS, 2003, pp:284-298 [Conf]
- Gianluca Cena, Luca Durante, Riccardo Sisto, Adriano Valenzano
Adaptive bandwidth balancing mechanisms for DQDB networks. [Citation Graph (0, 0)][DBLP] Computer Communications, 1997, v:20, n:9, pp:804-819 [Journal]
- Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus. [Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:815-832 [Journal]
- Luca Durante, Riccardo Sisto, Adriano Valenzano
Automatic testing equivalence verification of spi calculus specifications. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:2, pp:222-284 [Journal]
- M. Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. [Citation Graph (0, 0)][DBLP] DepCoS-RELCOMEX, 2007, pp:11-18 [Conf]
- M. Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP] DepCoS-RELCOMEX, 2007, pp:153-160 [Conf]
Search in 0.002secs, Finished in 0.003secs
|