Formal verification of the ETSI proposal on a standard QKD protocol - Université Côte d'Azur
Conference Papers Year : 2024

Formal verification of the ETSI proposal on a standard QKD protocol

Abstract

This article presents a formal verification by ProVerif of the ETSI proposal to standardize the use of a quantum key distribution protocol.
Fichier principal
Vignette du fichier
gt_mfs_paper.pdf (105.82 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

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

Licence

Identifiers

  • HAL Id : hal-04624766 , version 1

Cite

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⟩
19 View
17 Download

Share

More