Mobile telephony equipment is daily carried by billions of subscribers everywhere they go.
Avoiding linkability of subscribers by third parties, and protecting the privacy of those …

End-user privacy in mobile telephony systems is nowadays of great interest because of the
envisaged hyper-connectivity and the potential of the unprecedented services (virtual reality …

To protect mobile phone from tracking by third parties, mobile telephony systems rely on
periodically changing pseudonyms. We experimentally and formally analyse the mechanism …

Mobile communication networks connect much of the world's population. The security of
users' calls, SMSs, and mobile data depends on the guarantees provided by the …

Mobile messengers like WhatsApp perform contact discovery by uploading the user's entire
address book to the service provider. This allows the service provider to determine which of …

An attacker that can identify messages as coming from the same source, can use this
information to build up a picture of targets' behaviour, and so, threaten their privacy. In …

Facilitated by messaging protocols (MP), many home devices are connected to the Internet,
bringing convenience and accessibility to customers. However, most deployed MPs on IoT …

Digital services that are offered, and consumed, on the basis of social relationships form the
backbone of social clouds—an emerging new concept that finds its roots in online social …

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 …

In this paper, we consider the problem of verifying anonymity and unlinkability in the
symbolic model, where protocols are represented as processes in a variant of the applied pi …