Archivio Istituzionale della RicercaBETTASSA COPET, PIERGIUSEPPE
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.014 secondi).
Formally sound implementations of security protocols with JavaSPI
2018 Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo
Formal verification of LTE-UMTS and LTE–LTE handover procedures
2017 BETTASSA COPET, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana
DynNav: Toward Open and Interoperable Navigation Services
2016 Bettassa Copet, P.; Corbi, C.; Ghinamo, G.; Leggero, P.; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Vadalà, F.
User-friendly Formal Methods for Security-aware Applications and Protocols
2016 BETTASSA COPET, Piergiuseppe
Formal Verification of LTE-UMTS Handover Procedures
2015 BETTASSA COPET, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana
Automated Formal Verification of Application-specific Security Properties
2014 BETTASSA COPET, Piergiuseppe; Sisto, Riccardo
Vehicle Navigation Service Based on Real-Time Traffic Information
2012 Ghinamo, G.; Vadalà, F.; Corbi, C.; BETTASSA COPET, Piergiuseppe; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo
Visual Model-Driven Design, Verification and Implementation of Security Protocols
2012 BETTASSA COPET, Piergiuseppe; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo; Vivoli, Pietro
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Formally sound implementations of security protocols with JavaSPI / Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 30:2(2018), pp. 279-317. [10.1007/s00165-017-0449-8] | 1-gen-2018 | Sisto, RiccardoBettassa Copet, PiergiuseppeAvalle, Matteo + | AuthorsPostPrint.pdf; 10.1007_s00165-017-0449-8.pdf |
| Formal verification of LTE-UMTS and LTE–LTE handover procedures / BETTASSA COPET, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - STAMPA. - 50:(2017), pp. 92-106. [10.1016/j.csi.2016.08.009] | 1-gen-2017 | BETTASSA COPET, PIERGIUSEPPEMARCHETTO, GUIDOSISTO, Riccardo + | paper.pdf; 1-s2.0-S092054891630071X-main.pdf |
| DynNav: Toward Open and Interoperable Navigation Services / Bettassa Copet, P.; Corbi, C.; Ghinamo, G.; Leggero, P.; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Vadalà, F.. - In: IT PROFESSIONAL. - ISSN 1520-9202. - STAMPA. - 18:2(2016), pp. 35-41. [10.1109/MITP.2016.20] | 1-gen-2016 | Bettassa Copet, P.RISSO, FULVIO GIOVANNI OTTAVIOSISTO, Riccardo + | IT_ITPro-2014-03-0027.R2_Bettassa.pdf; 16ITPro-Dynnav-published.pdf |
| User-friendly Formal Methods for Security-aware Applications and Protocols / BETTASSA COPET, Piergiuseppe. - (2016). [10.6092/polito/porto/2644847] | 1-gen-2016 | BETTASSA COPET, PIERGIUSEPPE | document.pdf |
| Formal Verification of LTE-UMTS Handover Procedures / BETTASSA COPET, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana. - STAMPA. - (2015), pp. 738-744. (Intervento presentato al convegno 20th IEEE Symposium on Computers and Communications (ISCC) tenutosi a Larnaca, Cyprus nel 6-9 July 2015) [10.1109/ISCC.2015.7405602]. | 1-gen-2015 | BETTASSA COPET, PIERGIUSEPPEMARCHETTO, GUIDOSISTO, Riccardo + | 1570084757_author_postprint.pdf |
| Automated Formal Verification of Application-specific Security Properties / BETTASSA COPET, Piergiuseppe; Sisto, Riccardo. - STAMPA. - 8364:(2014), pp. 45-59. (Intervento presentato al convegno Engineering Secure Software and Systems (ESSOS) tenutosi a Munich, Germany nel 26-28/2/2014) [10.1007/978-3-319-04897-0_4]. | 1-gen-2014 | BETTASSA COPET, PIERGIUSEPPESISTO, Riccardo | - |
| Vehicle Navigation Service Based on Real-Time Traffic Information / Ghinamo, G.; Vadalà, F.; Corbi, C.; BETTASSA COPET, Piergiuseppe; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo. - ELETTRONICO. - (2012), pp. 1-8. (Intervento presentato al convegno 2nd International Conference and Exhibition on Ubiquitous Positioning, Indoor Navigation and Location-Based Service (UPINLBS 2012) tenutosi a Helsinki (SF) nel October 3-4, 2012) [10.1109/UPINLBS.2012.6409749]. | 1-gen-2012 | BETTASSA COPET, PIERGIUSEPPERISSO, FULVIO GIOVANNI OTTAVIOSISTO, Riccardo + | upinlbs2012_submission_13.pdf; 12UPINLBS-DynNav-published.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; Visual_model-driven_design_verification_and_implementation_of_security_protocols.pdf |