Citazione	Data di pubblicazione	Autori	File
1	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
2	Vehicle Navigation Service Based on Real-Time Traffic Information / Ghinamo G.; Vadalà F.; Corbi C.; Bettassa Copet P.; Risso F.; Sisto R.. - 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.	2012	Ghinamo G.; Vadalà F.; Corbi C.; BETTASSA COPET, PIERGIUSEPPE  ; RISSO, FULVIO GIOVANNI OTTAVIO  ; SISTO, Riccardo	Open Access
3	User-friendly Formal Methods for Security-aware Applications and Protocols / Bettassa Copet, Piergiuseppe. - (2016).	2016	BETTASSA COPET, PIERGIUSEPPE	Visibile a tutti
4	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.	2018	SISTO, Riccardo  ; BETTASSA COPET, PIERGIUSEPPE  ; AVALLE, MATTEO CARLO  ; Pironti, Alfredo	Solo autorizzati
5	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.	2015	BETTASSA COPET, PIERGIUSEPPE  ; MARCHETTO, GUIDO  ; SISTO, Riccardo  ; Costa, Luciana	Open Access
6	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.	2017	BETTASSA COPET, PIERGIUSEPPE  ; MARCHETTO, GUIDO  ; SISTO, Riccardo  ; Costa, Luciana	Solo autorizzati
7	Automated Formal Verification of Application-specific Security Properties / Bettassa Copet P.; Sisto R.. - In: LECTURE NOTES IN COMPUTER SCIENCE. - ISSN 0302-9743. - 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.	2014	BETTASSA COPET, PIERGIUSEPPE  ; SISTO, Riccardo	-