An Analysis of Hybrid Public Key Encryption - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2020

An Analysis of Hybrid Public Key Encryption

Benjamin Lipp


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)


  • HAL Id : hal-03113221 , version 1


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


Gmail Facebook X LinkedIn More