POZZA, DAVIDE
POZZA, DAVIDE
Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)
012821
A Lightweight Security Analyzer inside GCC
2008 Pozza, Davide; Sisto, Riccardo
An Overview of Software-based Support Tools for ISO 26262
2010 Makartetskiy, Denis; Pozza, Davide; Sisto, Riccardo
Automated Formal Methods for Security Protocol Engineering
2011 Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo
Automatic Verification Techniques to Improve the Open Source Software Quality
2004 Maggi, P; Pozza, Davide
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software
2006 Pozza, Davide; Sisto, Riccardo; Durante, L; Valenzano, A.
Detecting Chains of Vulnerabilities in Industrial Networks
2009 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Maggi, Paolo; Pozza, Davide; Sisto, Riccardo; Valenzano, Adriano
Extended protection against stack smashing attacks without performance loss
2006 Yves, Younan; Pozza, Davide; Frank, Piessens; Wouter, Joosen
Formally based semi-automatic implementation of an open security protocol
2012 Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo
JavaSPI: A Framework for Security Protocol Implementation
2011 Avalle, MATTEO CARLO; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo
Spi2Java: automatic cryptographic protocol java code generation from spi calculus
2004 Pozza, Davide; Sisto, Riccardo; Durante, L.
The JavaSPI Framework for Security Protocol Implementation
2011 Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo; Pozza, Davide
Visual Model-Driven Design, Verification and Implementation of Security Protocols
2012 BETTASSA COPET, Piergiuseppe; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo; Vivoli, Pietro
Vulnerability Modelling for the Analysis of Network Attacks
2008 Maggi, Paolo; Pozza, Davide; Sisto, Riccardo
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
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 | - |
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 |
Automated Formal Methods for Security Protocol Engineering / Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo - In: Cyber Security Standards, Practices and Industrial Applications - Systems and Methodologies / Zubairi J. A., Mahboob A.. - STAMPA. - Hershey PA : IGI Global, 2011. - ISBN 9781609608514. - pp. 138-166 [10.4018/978-1-60960-851-4.ch008] | 1-gen-2011 | PIRONTI, ALFREDOPOZZA, DAVIDESISTO, Riccardo | - |
Automatic Verification Techniques to Improve the Open Source Software Quality / Maggi, P; Pozza, Davide. - (2004). | 1-gen-2004 | POZZA, DAVIDE + | - |
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 January 2006. | 1-gen-2006 | POZZA, DAVIDESISTO, Riccardo + | - |
Detecting Chains of Vulnerabilities in Industrial Networks / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Maggi, Paolo; Pozza, Davide; Sisto, Riccardo; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 5:2(2009), pp. 181-193. [10.1109/TII.2009.2018627] | 1-gen-2009 | CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCAMAGGI, PaoloPOZZA, DAVIDESISTO, RiccardoVALENZANO, ADRIANO | 04895710.pdf; detectingChains_authorscopy.pdf |
Extended protection against stack smashing attacks without performance loss / Yves, Younan; Pozza, Davide; Frank, Piessens; Wouter, Joosen. - (2006). | 1-gen-2006 | POZZA, DAVIDE + | - |
Formally based semi-automatic implementation of an open security protocol / Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo. - In: THE JOURNAL OF SYSTEMS AND SOFTWARE. - ISSN 0164-1212. - STAMPA. - 85:4(2012), pp. 835-849. [10.1016/j.jss.2011.10.052] | 1-gen-2012 | PIRONTI, ALFREDOPOZZA, DAVIDESISTO, Riccardo | jss2011_postprint.pdf |
JavaSPI: A Framework for Security Protocol Implementation / Avalle, MATTEO CARLO; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo. - In: INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING. - ISSN 1947-3036. - STAMPA. - 2:4(2011), pp. 34-48. [10.4018/jsse.2011100103] | 1-gen-2011 | AVALLE, MATTEO CARLOPIRONTI, ALFREDOPOZZA, DAVIDESISTO, Riccardo | - |
Spi2Java: automatic cryptographic protocol java code generation from spi calculus / Pozza, Davide; Sisto, Riccardo; Durante, L.. - 1:(2004), pp. 400-405. ((Intervento presentato al convegno 18th Int. Conf. on Advanced Information, Networking and Applications nel March 2004. | 1-gen-2004 | POZZA, DAVIDESISTO, Riccardo + | AINA2004_author_postprint.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 |
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 |
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 June 2008 [10.1109/DepCoS-RELCOMEX.2008.49]. | 1-gen-2008 | MAGGI, PAOLOPOZZA, DAVIDESISTO, Riccardo | - |