Security Issues in the 5G Standard and How Formal Methods Come to the Rescue - Archive ouverte HAL
Article Dans Une Revue ERCIM News Année : 2019

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

Lucca Hirschi
Proof techniques for security protocols
Ralf Sasse
  • Fonction : Auteur
  • PersonId : 984083
Institute of Information Security [ETH Zürich]
Jannik Dreier
Proof techniques for security protocols
CV

Domaines

Cryptographie et sécurité [cs.CR]
Fichier principal
Vignette du fichier
article.pdf (96.45 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Jannik Dreier  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02268822

Soumis le : mardi 1 octobre 2019-15:14:25

Dernière modification le : lundi 2 décembre 2024-17:36:02

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-02268822 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
238 Consultations
222 Téléchargements

Partager

More