Dottorato in Ingegneria Informatica E Dei Sistemi , 27o ciclo (2012-2014)
Dottorato concluso nel 2016
Tesi:
Interfacce per facilitare l'uso dei metodi formali nello sviluppo di applicazioni e protocolli critici per la sicurezza
Tutori:
Riccardo SistoDidattica
Insegnamenti
Corso di laurea magistrale
- Computer network technologies and services. A.A. 2012/13, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Computer network technologies and services. A.A. 2013/14, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Distributed programming II. A.A. 2013/14, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Tecnologie e servizi di rete. A.A. 2012/13, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Tecnologie e servizi di rete. A.A. 2013/14, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Distributed programming. A.A. 2012/13, INGEGNERIA TELEMATICA (COMPUTER AND COMMUNICATION NETWORKS ENGINEERING). Collaboratore del corso
Pubblicazioni
Pubblicazioni durante il dottorato Vedi tutte le pubblicazioni su Porto@Iris
- BETTASSA COPET, Piergiuseppe (2016)
User-friendly Formal Methods for Security-aware Applications and Protocols. relatore: Sisto R., 27. XXVII Ciclo, P.: 117
Doctoral Thesis - Bettassa Copet, P.; Corbi, C.; Ghinamo, G.; Leggero, P.; Risso, FULVIO GIOVANNI OTTAVIO; ... (2016)
DynNav: Toward Open and Interoperable Navigation Services. In: IT PROFESSIONAL, vol. 18, pp. 35-41. ISSN 1520-9202
Contributo su Rivista - BETTASSA COPET, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana (2015)
Formal Verification of LTE-UMTS Handover Procedures. In: 20th IEEE Symposium on Computers and Communications (ISCC), Larnaca, Cyprus, 6-9 July 2015, pp. 738-744. ISBN: 978-1-4673-7194-0
Contributo in Atti di Convegno (Proceeding) - BETTASSA COPET, Piergiuseppe; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo; Vivoli, ... (2012)
Visual Model-Driven Design, Verification and Implementation of Security Protocols. In: 14th IEEE Int. High-Assurance Systems Engineering Symposium (HASE 2012), Omaha, Nebraska, October 25-27, 2012, pp. 62-65. ISBN: 9781467347426
Contributo in Atti di Convegno (Proceeding) - Ghinamo, G.; Vadalà, F.; Corbi, C.; BETTASSA COPET, Piergiuseppe; Risso, FULVIO GIOVANNI ... (2012)
Vehicle Navigation Service Based on Real-Time Traffic Information. In: 2nd International Conference and Exhibition on Ubiquitous Positioning, Indoor Navigation and Location-Based Service (UPINLBS 2012), Helsinki (SF), October 3-4, 2012, pp. 1-8. ISBN: 9781467319096
Contributo in Atti di Convegno (Proceeding)