Conformance tests are critical for finding security weaknesses in carrier network systems.
However, building a conformance test procedure from specifications is challenging, as …

Abstract Industrial Internet of Things (IIoT) is the main field of application of the Internet of
Things (IoT). The high degree of autonomy and resource constraints of the IIoT network …

Abstract The Long-Term Evolution (LTE)/5G network connects much of the world's
population to provide subscriber's voice calls and mobile data delivery, with security …

As IoT in a multi-server environment increases resources' utilization, more and more
problems of IoT authentication and key agreement are being revealed. The Authentication …

In this paper, we have proposed a lightweight mutual authentication and key agreement
scheme for 5G (5GMAKA) using the symmetric-key cryptographic framework. The proposed …

Authentication and data protection (both integrity and confidentiality) between the network
and cellular devices are two fundamental security features in LTE and IMS networks. The …

Lawful Interception (LI) is a legal obligation of Communication Service Providers (CSPs) to
provide interception capabilities to Law Enforcement Agencies (LEAs) in order to gain …

In this paper, we present Hermes, an end-to-end framework to automatically generate formal
representations from natural language cellular specifications. We first develop a neural …

As the signaling processing center of 5G, the security and stability of the 5G Core Network
(5GC) are of great importance for 5G. The current 5GC consists of multiple mutually …

Abstract Internet of Things (IoT) devices are frequently utilized to collect information around
humans' daily routine, producing a need for them to regularly pair with each other. With the …