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

Document type :
Journal articles
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

File

article.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02268822, version 1

Citation

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

Share

Metrics

Record views

54

Files downloads

84