PORTO @ IRIS Archivio Istituzionale della Ricerca

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

POZZA, DAVIDE

Rete di Collaborazioni Statistiche Email Alert RSS Feed

Info

Dettaglio

Nome completo:

POZZA, DAVIDE

Link esterni:

Pagina personale

Elenco pubblicazioni in formato JSON:

Pubblicazioni

Pubblicazioni (Tutti)

Risultati 1 - 13 di 13 (tempo di esecuzione: 0.001 secondi).

	Citazione	Data di pubblicazione	Autori	File
1	Vulnerability Modelling for the Analysis of Network Attacks / MAGGI P; POZZA D; SISTO R.. - 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 June 2008.	2008	MAGGI, PAOLO ; POZZA, DAVIDE ; SISTO, Riccardo	-
2	Visual Model-Driven Design, Verification and Implementation of Security Protocols / Bettassa Copet P.; Pironti A.; Pozza D.; Sisto R.; Vivoli P.. - 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.	2012	BETTASSA COPET, PIERGIUSEPPE ; PIRONTI, ALFREDO ; POZZA, DAVIDE ; SISTO, Riccardo ; VIVOLI, PIETRO	Visibile a tutti
3	The JavaSPI Framework for Security Protocol Implementation / Avalle M.; Pironti A.; Sisto R.; Pozza D.. - 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.	2011	AVALLE, MATTEO CARLO ; PIRONTI, ALFREDO ; SISTO, Riccardo ; POZZA, DAVIDE	Visibile a tutti
4	Spi2Java: automatic cryptographic protocol java code generation from spi calculus / POZZA D.; SISTO R.; DURANTE L.. - 1(2004), pp. 400-405. ((Intervento presentato al convegno 18th Int. Conf. on Advanced Information, Networking and Applications nel March 2004.	2004	POZZA, DAVIDE ; SISTO, Riccardo ; DURANTE L.	Visibile a tutti
5	JavaSPI: A Framework for Security Protocol Implementation / Avalle M.; Pironti A.; Pozza D.; Sisto R.. - In: INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING. - ISSN 1947-3036. - STAMPA. - 2:4(2011), pp. 34-48.	2011	AVALLE, MATTEO CARLO ; PIRONTI, ALFREDO ; POZZA, DAVIDE ; SISTO, Riccardo	-
6	Formally based semi-automatic implementation of an open security protocol / Pironti A.; Pozza D.; Sisto R.. - In: THE JOURNAL OF SYSTEMS AND SOFTWARE. - ISSN 0164-1212. - STAMPA. - 85:4(2012), pp. 835-849.	2012	PIRONTI, ALFREDO ; POZZA, DAVIDE ; SISTO, Riccardo	Visibile a tutti
7	Extended protection against stack smashing attacks without performance loss / YVES YOUNAN; POZZA D.; FRANK PIESSENS; WOUTER JOOSEN. - (2006).	2006	YVES YOUNAN; POZZA, DAVIDE ; FRANK PIESSENS; WOUTER JOOSEN	-
8	Detecting Chains of Vulnerabilities in Industrial Networks / CHEMINOD M; CIBRARIO BERTOLOTTI I; DURANTE L; MAGGI P; POZZA D; SISTO R.; AND VALENZANO A. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 5:2(2009), pp. 181-193.	2009	CHEMINOD, MANUEL ; CIBRARIO BERTOLOTTI, IVAN ; DURANTE, LUCA ; MAGGI, Paolo ; POZZA, DAVIDE ; SISTO, Riccardo ; VALENZANO, ADRIANO	riservati
9	Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software / POZZA D; SISTO R.; 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 January 2006.	2006	POZZA, DAVIDE ; SISTO, Riccardo ; DURANTE L; VALENZANO A.	-
10	Automatic Verification Techniques to Improve the Open Source Software Quality / MAGGI P; POZZA D.. - (2004).	2004	MAGGI P; POZZA, DAVIDE	-
11	Automated Formal Methods for Security Protocol Engineering / Pironti A.; Pozza D.; Sisto R.. - STAMPA. - (2011), pp. 138-166.	2011	PIRONTI, ALFREDO ; POZZA, DAVIDE ; SISTO, Riccardo	-
12	An Overview of Software-based Support Tools for ISO 26262 / Makartetskiy D.; Pozza D.; Sisto R.. - STAMPA. - (2010), pp. 132-137. ((Intervento presentato al convegno Innovative Information Technologies: Theory and Practice tenutosi a Dresden (GER) nel 06-10 Settembre 2010.	2010	MAKARTETSKIY, DENIS ; POZZA, DAVIDE ; SISTO, Riccardo	Visibile a tutti
13	A Lightweight Security Analyzer inside GCC / POZZA D; SISTO R.. - 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.	2008	POZZA, DAVIDE ; SISTO, Riccardo	-