Malware Detection and Prevention Platform: Telecom Italia Case Study. - Luciana Costa; Roberta D'Amico (ISSE, 2010)

Formal verification of LTE-UMTS handover procedures. - Piergiuseppe Bettassa Copet; Guido Marchetto; Riccardo Sisto; Luciana Costa (ISCC, 2015)

Formal verification of LTE-UMTS and LTE-LTE handover procedures. - Piergiuseppe Bettassa Copet; Guido Marchetto; Riccardo Sisto; Luciana Costa (Comput. Stand. Interfaces, 2017)