The rapid developments of the Internet of Things (IoT) and smart mobile devices in recent
years have been dramatically incentivizing the advancement of edge computing. On the one …

5G, as a monumental shift in cellular communication technology, holds tremendous potential
for spurring innovations across many vertical industries, with its promised multi-Gbps speed …

In this paper, we investigate the security and privacy of the three critical procedures of the
4G LTE protocol (ie, attach, detach, and paging), and in the process, uncover potential …

The paper proposes 5GReasoner, a framework for property-guided formal verification of
control-plane protocols spanning across multiple layers of the 5G protocol stack. The …

This paper presents our extensive investigation of the security aspects of control plane
procedures based on dynamic testing of the control components in operational Long Term …

This work presents a comprehensive and structured taxonomy of available techniques for
managing the handover process in mobility architectures. Representative works from the …

Abstract The 4G/Long Term Evolution (LTE) has become the dominant mobile access
technology worldwide so far, while the development of the 5G/NR (New Radio) cellular …

In the past decade, the security of cellular networks has been increasingly under scrutiny,
leading to the discovery of numerous vulnerabilities that expose the network and its users to …

To keep subscribers' identity confidential, a cellular network operator must use a temporary
identifier instead of a permanent one according to the 3GPP standard. Temporary identifiers …

An implementation flaw in LTE control plane protocols at end-user devices directly leads to
severe security threats. In order to uncover these flaws, conducting negative testing is a …