Davide Pozza

According to our database, Davide Pozza authored at least 14 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

Proceedings of the International Joint Conference on Neural Networks, 2022

2020

Food Classification for Inflammation Recognition Through Ingredient Label Analysis: A Real NLP Case Study.

Stefano Campese, Davide Pozza

Proceedings of the Intelligent Systems and Applications, 2020

2012

Formally based semi-automatic implementation of an open security protocol.

Alfredo Pironti, Davide Pozza, Riccardo Sisto

J. Syst. Softw., 2012

Visual Model-Driven Design, Verification and Implementation of Security Protocols.

Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2011

JavaSPI: A Framework for Security Protocol Implementation.

Matteo Avalle, Alfredo Pironti, Davide Pozza, Riccardo Sisto

Int. J. Secur. Softw. Eng., 2011

The Java SPI Framework for Security Protocol Implementation.

Matteo Avalle, Alfredo Pironti, Riccardo Sisto, Davide Pozza

Proceedings of the Sixth International Conference on Availability, 2011

2010

Generating Innovation with Semantically Enabled TasLab Portal.

Pavel Shvaiko, Alessandro Oltramari, Roberta Cuel, Davide Pozza, Giuseppe Angelini

Proceedings of the Semantic Web: Research and Applications, 2010

2009

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

2008

Vulnerability Modelling for the Analysis of Network Attacks.

Paolo Maggi, Davide Pozza, Riccardo Sisto

Proceedings of the Third International Conference on Dependability of Computer Systems, 2008

A Lightweight Security Analyzer inside GCC.

Davide Pozza, Riccardo Sisto

Proceedings of the The Third International Conference on Availability, 2008

2006

Comparing lexical analysis tools for buffer overflow detection in network software.

Davide Pozza, Riccardo Sisto, Luca Durante, Adriano Valenzano

Proceedings of the First International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), 2006

Extended Protection against Stack Smashing Attacks without Performance Loss.

Yves Younan, Davide Pozza, Frank Piessens, Wouter Joosen

Proceedings of the 22nd Annual Computer Security Applications Conference (ACSAC 2006), 2006

2005

Toward producing secure software systems.

Davide Pozza

PhD thesis, 2005

2004

Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus.

Davide Pozza, Riccardo Sisto, Luca Durante

Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004