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 communications are used by more than two-thirds of the world population who
expect security and privacy guarantees. The 3rd Generation Partnership Project (3GPP) …

The 3GPP consortium has published the Authentication and Key Agreement protocol for the
5th generation (5G) mobile communication system (ie, 5G-AKA) by Technical Specification …

We present DY^⋆, a new formal verification framework for the symbolic security analysis of
cryptographic protocol code written in the F^⋆ programming language. Unlike automated …

Information security, being one of the corner stones of network and communication
technology, has been evolving tremendously to cope with the parallel evolution of network …

Tamarin is a popular tool dedicated to the formal analysis of security protocols. One major
strength of the tool is that it offers an interactive mode, allowing to go beyond what push …

The rise of contactless and wireless devices such as mobile phones and RFID chips justifies
significant concerns over privacy, and calls for communication protocols that ensure some …

During the last decades, many advances in the field of automated security protocol analysis
have seen the field mature and grow from being applicable to toy examples, to modeling …

Constrained IoT devices are becoming ubiquitous in society and there is a need for secure
communication protocols that respect the constraints under which these devices operate …

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 …