Formal verification of the ETSI proposal on a standard QKD protocol - Université Côte d'Azur Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Formal verification of the ETSI proposal on a standard QKD protocol

Résumé

This article presents a formal verification by ProVerif of the ETSI proposal to standardize the use of a quantum key distribution protocol.

Domaines

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

Thomas Prévost  : Connectez-vous pour contacter le contributeur

https://hal.univ-cotedazur.fr/hal-04624766

Soumis le : mardi 25 juin 2024-15:48:21

Dernière modification le : vendredi 5 juillet 2024-03:14:31

Télécharger pour visualiser

Dates et versions

hal-04624766 , version 1 (25-06-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04624766 , version 1

Citer

Thomas Prévost, Bruno Martin, Olivier Alibart. Formal verification of the ETSI proposal on a standard QKD protocol. GTMFS 2024, Apr 2024, Saint-Pierre-d'Oléron, France. ⟨hal-04624766⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS I3S INPHYNI UNIV-COTEDAZUR
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More