Davide Pozza

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