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.

Domains

Cryptography and Security [cs.CR]
Fichier principal
Vignette du fichier
gt_mfs_paper.pdf (105.82 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Thomas Prévost  : Connect in order to contact the contributor

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

Submitted on : Tuesday, June 25, 2024-3:48:21 PM

Last modification on : Friday, July 5, 2024-3:14:31 AM

Download

Dates and versions

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

Licence

Attribution

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS I3S INPHYNI UNIV-COTEDAZUR
15 View
14 Download

Share

More