Davide Pozza

According to our database1, Davide Pozza authored at least 11 papers between 2004 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Formally based semi-automatic implementation of an open security protocol.
J. Syst. Softw., 2012

Visual Model-Driven Design, Verification and Implementation of Security Protocols.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2011
JavaSPI: A Framework for Security Protocol Implementation.
Int. J. Secur. Softw. Eng., 2011

The Java SPI Framework for Security Protocol Implementation.
Proceedings of the Sixth International Conference on Availability, 2011

2010
Generating Innovation with Semantically Enabled TasLab Portal.
Proceedings of the Semantic Web: Research and Applications, 2010

2009
Detecting Chains of Vulnerabilities in Industrial Networks.
IEEE Trans. Ind. Informatics, 2009

2008
Vulnerability Modelling for the Analysis of Network Attacks.
Proceedings of the Third International Conference on Dependability of Computer Systems, 2008

A Lightweight Security Analyzer inside GCC.
Proceedings of the The Third International Conference on Availability, 2008

2006
Comparing lexical analysis tools for buffer overflow detection in network software.
Proceedings of the First International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), 2006

Extended Protection against Stack Smashing Attacks without Performance Loss.
Proceedings of the 22nd Annual Computer Security Applications Conference (ACSAC 2006), 2006

2004
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus.
Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004


  Loading...