Security Issues in the 5G Standard and How Formal Methods Come to the Rescue

Lucca Hirschi (1) , Ralf Sasse (2) , Jannik Dreier (1)

1 PESTO - Proof techniques for security protocols
2 Institute of Information Security [ETH Zürich]

Domaines: Cryptographie et sécurité [cs.CR]

Lucca Hirschi, Ralf Sasse, Jannik Dreier. Security Issues in the 5G Standard and How Formal Methods Come to the Rescue. ERCIM News, 2019. ⟨hal-02268822⟩