PORTO @ Archivio Istituzionale della Ricerca

POZZA, DAVIDE

POZZA, DAVIDE  

Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)  

012821  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.012 secondi).
Citazione Data di pubblicazione Autori File
Visual Model-Driven Design, Verification and Implementation of Security Protocols / BETTASSA COPET, Piergiuseppe; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo; Vivoli, Pietro. - STAMPA. - (2012), pp. 62-65. (Intervento presentato al convegno 14th IEEE Int. High-Assurance Systems Engineering Symposium (HASE 2012) tenutosi a Omaha, Nebraska nel October 25-27, 2012) [10.1109/HASE.2012.23]. 1-gen-2012 BETTASSA COPET, PIERGIUSEPPEPIRONTI, ALFREDOPOZZA, DAVIDESISTO, RiccardoVIVOLI, PIETRO hase2012_porto.pdf; Visual_model-driven_design_verification_and_implementation_of_security_protocols.pdf
The JavaSPI Framework for Security Protocol Implementation / Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo; Pozza, Davide. - STAMPA. - (2011), pp. 746-751. (Intervento presentato al convegno Sixth International Conference on Availability, Reliability and Security (ARES) tenutosi a Vienna (Austria) nel 22-26 Aug. 2011) [10.1109/ARES.2011.117]. 1-gen-2011 AVALLE, MATTEO CARLOPIRONTI, ALFREDOSISTO, RiccardoPOZZA, DAVIDE ares2011_author_postprint.pdf; The_Java_SPI_Framework_for_Security_Protocol_Implementation.pdf
An Overview of Software-based Support Tools for ISO 26262 / Makartetskiy, Denis; Pozza, Davide; Sisto, Riccardo. - STAMPA. - (2010), pp. 132-137. (Intervento presentato al convegno Innovative Information Technologies: Theory and Practice tenutosi a Dresden (GER) nel 06-10 Settembre 2010). 1-gen-2010 MAKARTETSKIY, DENISPOZZA, DAVIDESISTO, Riccardo iit10.pdf
A Lightweight Security Analyzer inside GCC / Pozza, Davide; Sisto, Riccardo. - STAMPA. - (2008), pp. 851-858. (Intervento presentato al convegno ARES 2008 - 3rd Int. Conf. on Availability, Reliability and Security tenutosi a Barcelona, Spain nel Marzo 2008) [10.1109/ARES.2008.26]. 1-gen-2008 POZZA, DAVIDESISTO, Riccardo -
Vulnerability Modelling for the Analysis of Network Attacks / Maggi, Paolo; Pozza, Davide; Sisto, Riccardo. - STAMPA. - (2008), pp. 15-22. (Intervento presentato al convegno DepCoS-RELCOMEX'08, 3rd Int. Conf. on Dependability of Computer Systems tenutosi a Szklarska Poreba (Poland) nel 26-28 June 2008) [10.1109/DepCoS-RELCOMEX.2008.49]. 1-gen-2008 MAGGI, PAOLOPOZZA, DAVIDESISTO, Riccardo Vulnerability_Modelling_for_the_Analysis_of_Network_Attacks.pdf
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software / Pozza, Davide; Sisto, Riccardo; Durante, L; Valenzano, A.. - (2006). (Intervento presentato al convegno COMSWARE 2006 - 1st Int. Conf. on Comunication System Software and Middleware tenutosi a New Delhi, India nel 08-12 January 2006) [10.1109/COMSWA.2006.1665217]. 1-gen-2006 POZZA, DAVIDESISTO, RiccardoDURANTE L + Comparing_Lexical_Analysis_Tools_for_Buffer_Overflow_Detection_in_Network_Software.pdf
Extended protection against stack smashing attacks without performance loss / Yves, Younan; Pozza, Davide; Frank, Piessens; Wouter, Joosen. - (2006). 1-gen-2006 POZZA, DAVIDE + -
Automatic Verification Techniques to Improve the Open Source Software Quality / Maggi, P; Pozza, Davide. - (2004). 1-gen-2004 POZZA, DAVIDE + -
Spi2Java: automatic cryptographic protocol java code generation from spi calculus / Pozza, Davide; Sisto, Riccardo; Durante, L.. - STAMPA. - 1:(2004), pp. 400-405. (Intervento presentato al convegno 18th International Conference on Advanced Information, Networking and Applications tenutosi a Fukuoka, Japan nel March 2004) [10.1109/AINA.2004.1283943]. 1-gen-2004 POZZA, DAVIDESISTO, RiccardoDURANTE L. AINA2004_author_postprint.pdf; Spi2Java_automatic_cryptographic_protocol_Java_code_generation_from_spi_calculus.pdf