First integrated security and performance analysis of M2M RSP protocol using formal verification. Uncovers critical vulnerabilities including absence of Perfect Forward Secrecy and proposes enhancements with TLS 1.3, SCP11b, and hybrid post-quantum cryptography.

This paper presents an experimental analysis of Subscription Concealed Identifier (SUCI)-based Denial of Service (DoS) attacks, their associated costs, and the stress they place on network functions in the context of 6G roaming security.

This research addresses security challenges in 5G roaming by designing a scalable 5G Standalone testbed, generating an intrusion detection dataset tailored to roaming threats, and proposing a deep learning-based intrusion detection framework for cloud-native environments.

This research introduces Zero Round Trip Time Forward Secrecy (0-RTT FS), a novel protocol extension that achieves zero round-trip performance while maintaining comprehensive security properties, including PFS and replay protection.

Formal verification of the Common Mutual Authentication protocol used in Remote SIM Provisioning using BAN Logic to ensure security properties are maintained.