Security Issues in the 5G Standard and How Formal Methods Come to the Rescue - Archive ouverte HAL Access content directly
Journal Articles ERCIM News Year : 2019

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

Lucca Hirschi
Ralf Sasse
  • Function : Author
  • PersonId : 984083
Jannik Dreier
Fichier principal
Vignette du fichier
article.pdf (96.45 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02268822 , version 1 (01-10-2019)

Identifiers

  • HAL Id : hal-02268822 , version 1

Cite

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⟩
221 View
197 Download

Share

Gmail Facebook X LinkedIn More