Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. - Davide Pozza; Riccardo Sisto; Luca Durante (AINA (1), 2004)

Toward producing secure software systems. - Davide Pozza (2005)

Extended Protection against Stack Smashing Attacks without Performance Loss. - Yves Younan; Davide Pozza; Frank Piessens; Wouter Joosen (ACSAC, 2006)

Comparing lexical analysis tools for buffer overflow detection in network software. - Davide Pozza; Riccardo Sisto; Luca Durante; Adriano Valenzano (COMSWARE, 2006)

A Lightweight Security Analyzer inside GCC. - Davide Pozza; Riccardo Sisto (ARES, 2008)

Vulnerability Modelling for the Analysis of Network Attacks. - Paolo Maggi; Davide Pozza; Riccardo Sisto (DepCoS-RELCOMEX, 2008)

Detecting Chains of Vulnerabilities in Industrial Networks. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Paolo Maggi; Davide Pozza; Riccardo Sisto; Adriano Valenzano (IEEE Trans. Ind. Informatics, 2009)

Generating Innovation with Semantically Enabled TasLab Portal. - Pavel Shvaiko; Alessandro Oltramari; Roberta Cuel; Davide Pozza; Giuseppe Angelini (ESWC (1), 2010)

The Java SPI Framework for Security Protocol Implementation. - Matteo Avalle; Alfredo Pironti 001; Riccardo Sisto; Davide Pozza (ARES, 2011)

JavaSPI: A Framework for Security Protocol Implementation. - Matteo Avalle; Alfredo Pironti 001; Davide Pozza; Riccardo Sisto (Int. J. Secur. Softw. Eng., 2011)

Visual Model-Driven Design, Verification and Implementation of Security Protocols. - Piergiuseppe Bettassa Copet; Alfredo Pironti 001; Davide Pozza; Riccardo Sisto; Pietro Vivoli (HASE, 2012)

Formally based semi-automatic implementation of an open security protocol. - Alfredo Pironti 001; Davide Pozza; Riccardo Sisto (J. Syst. Softw., 2012)

Food Classification for Inflammation Recognition Through Ingredient Label Analysis: A Real NLP Case Study. - Stefano Campese; Davide Pozza (IntelliSys (2), 2020)

Beyond Transformers: fault type detection in maintenance tickets with Kernel Methods, Boost Decision Trees and Neural Networks. - Stefano Campese; Federico Agostini; Jacopo Pazzini; Davide Pozza (IJCNN, 2022)