BETTASSA COPET, PIERGIUSEPPE

BETTASSA COPET, PIERGIUSEPPE  

021517  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.02 secondi).
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.pdf10.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.pdf1-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.pdf16ITPro-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.pdf12UPINLBS-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.pdfVisual_model-driven_design_verification_and_implementation_of_security_protocols.pdf