2008 |
4 | EE | Davide Pozza,
Riccardo Sisto:
A Lightweight Security Analyzer inside GCC.
ARES 2008: 851-858 |
2006 |
3 | EE | Yves Younan,
Davide Pozza,
Frank Piessens,
Wouter Joosen:
Extended Protection against Stack Smashing Attacks without Performance Loss.
ACSAC 2006: 429-438 |
2 | | Davide Pozza,
Riccardo Sisto,
Luca Durante,
Adriano Valenzano:
Comparing lexical analysis tools for buffer overflow detection in network software.
COMSWARE 2006 |
2004 |
1 | EE | Davide Pozza,
Riccardo Sisto,
Luca Durante:
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus.
AINA (1) 2004: 400-405 |