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

Lucca Hirschi; Ralf Sasse; Jannik Dreier

Journal articles

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

Lucca Hirschi ¹ Ralf Sasse ² Jannik Dreier ¹

1 PESTO - Proof techniques for security protocols

Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods

2 Institute of Information Security [ETH Zürich]

Document type :

Journal articles

Domain :

Computer Science [cs] / Cryptography and Security [cs.CR]

Complete list of metadata

Cited literature [3 references] Display Hide Download

https://hal.archives-ouvertes.fr/hal-02268822
Contributor : Jannik Dreier <>
Submitted on : Tuesday, October 1, 2019 - 3:14:25 PM
Last modification on : Monday, November 18, 2019 - 4:28:01 PM

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

File

Identifiers

Collections

Citation

Export

Metrics

190

190

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

File

Identifiers

Collections

Citation

Export

Share

Metrics

190

190