Davide Pozza

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 2

Top Topics

Features Extraction

Support Vector Machine

Pattern Recognition

Kernel Matrices

Top Venues

Publications

Stefano Campese, Federico Agostini, Jacopo Pazzini, Davide Pozza
Beyond Transformers: fault type detection in maintenance tickets with Kernel Methods, Boost Decision Trees and Neural Networks. IJCNN (2022)
Stefano Campese, Davide Pozza
Food Classification for Inflammation Recognition Through Ingredient Label Analysis: A Real NLP Case Study. IntelliSys (2) (2020)
Alfredo Pironti, Davide Pozza, Riccardo Sisto
Formally based semi-automatic implementation of an open security protocol. J. Syst. Softw. 85 (4) (2012)
Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli
Visual Model-Driven Design, Verification and Implementation of Security Protocols. HASE (2012)
Matteo Avalle, Alfredo Pironti, Davide Pozza, Riccardo Sisto
JavaSPI: A Framework for Security Protocol Implementation. Int. J. Secur. Softw. Eng. 2 (4) (2011)
Matteo Avalle, Alfredo Pironti, Riccardo Sisto, Davide Pozza
The Java SPI Framework for Security Protocol Implementation. ARES (2011)
Pavel Shvaiko, Alessandro Oltramari, Roberta Cuel, Davide Pozza, Giuseppe Angelini
Generating Innovation with Semantically Enabled TasLab Portal. ESWC (1) (2010)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano
Detecting Chains of Vulnerabilities in Industrial Networks. IEEE Trans. Ind. Informatics 5 (2) (2009)
Davide Pozza, Riccardo Sisto
A Lightweight Security Analyzer inside GCC. ARES (2008)
Paolo Maggi, Davide Pozza, Riccardo Sisto
Vulnerability Modelling for the Analysis of Network Attacks. DepCoS-RELCOMEX (2008)
Yves Younan, Davide Pozza, Frank Piessens, Wouter Joosen
Extended Protection against Stack Smashing Attacks without Performance Loss. ACSAC (2006)
Davide Pozza, Riccardo Sisto, Luca Durante, Adriano Valenzano
Comparing lexical analysis tools for buffer overflow detection in network software. COMSWARE (2006)
Davide Pozza, Riccardo Sisto, Luca Durante
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. AINA (1) (2004)