Piergiuseppe Bettassa Copet

According to our database, Piergiuseppe Bettassa Copet authored at least 8 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Formally sound implementations of security protocols with JavaSPI.

Riccardo Sisto, Piergiuseppe Bettassa Copet, Matteo Avalle, Alfredo Pironti

Formal Aspects Comput., 2018

2017

Formal verification of LTE-UMTS and LTE-LTE handover procedures.

Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa

Comput. Stand. Interfaces, 2017

2016

User-friendly Formal Methods for Security-aware Applications and Protocols.

Piergiuseppe Bettassa Copet

PhD thesis, 2016

DynNav: Toward Open and Interoperable Navigation Services.

Piergiuseppe Bettassa Copet, Fulvio Risso, Riccardo Sisto, Cecilia Corbi, Giorgio Ghinamo, Francesco Vadala, Pietro Leggero

IT Prof., 2016

2015

Formal verification of LTE-UMTS handover procedures.

Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa

Proceedings of the 2015 IEEE Symposium on Computers and Communication, 2015

2014

Automated Formal Verification of Application-specific Security Properties.

Piergiuseppe Bettassa Copet, Riccardo Sisto

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

2012

Vehicle navigation service based on real-time traffic information: A RESTful NetAPI solution with long polling notification.

Giorgio Ghinamo, Francesco Vadala, Cecilia Corbi, Piergiuseppe Bettassa Copet, Fulvio Risso, Riccardo Sisto

Proceedings of the 2012 Ubiquitous Positioning, 2012

Visual Model-Driven Design, Verification and Implementation of Security Protocols.

Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012