Lucca Hirschi, Ralf Sasse, Jannik Dreier: Security Issues in the 5G Standard and How Formal Methods Come to the Rescue. ERCIM News 2019(117) (2019)