An Analysis of Hybrid Public Key Encryption - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2020

An Analysis of Hybrid Public Key Encryption

(1)
1
Benjamin Lipp

Abstract

Hybrid Public Key Encryption (HPKE) is a cryptographicprimitive being standardized by the Crypto Forum Research Group (CFRG)within the Internet Research Task Force (IRTF). HPKE schemes combineasymmetric and symmetric cryptographic primitives for efficient authenti-cated encryption of arbitrary-sized plaintexts under a given recipient publickey. This document presents a mechanized cryptographic analysis done withCryptoVerif, of all four HPKE modes, instantiated with a prime-order-groupDiffie-Hellman Key Encapsulation Mechanism (KEM).
Fichier principal
Vignette du fichier
2020-243.pdf (441.71 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03113221 , version 1 (18-01-2021)

Identifiers

  • HAL Id : hal-03113221 , version 1

Cite

Benjamin Lipp. An Analysis of Hybrid Public Key Encryption. [Research Report] IACR Cryptology ePrint Archive. 2020. ⟨hal-03113221⟩
62 View
312 Download

Share

Gmail Facebook Twitter LinkedIn More