Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. Yves Younan, Davide Pozza, Frank Piessens, Wouter Joosen
   Extended Protection against Stack Smashing Attacks without Performance Loss. [Citation Graph (0, 0)][DBLP]
   ACSAC, 2006, pp:429-438 [Conf]
   
4. 
   A Lightweight Security Analyzer inside GCC. [Citation Graph (, )][DBLP]
   
   
5. 
   Vulnerability Modelling for the Analysis of Network Attacks. [Citation Graph (, )][DBLP]
   
   
6. 
   Generating Innovation with Semantically Enabled TasLab Portal. [Citation Graph (, )][DBLP]