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

Lucca Hirschi; Ralf Sasse; Jannik Dreier

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 metadatas

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

article.pdf

Files produced by the author(s)

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

File

Identifiers

Collections

Citation

Export

Metrics

54

84

Contact

Informations

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

File

Identifiers

Collections

Citation

Export

Share

Metrics

54

84

Contact

Informations